This allows /proc/kcore to be entirely disabled and dropped out of the
kernel - we already select between a.out and ELF.

Right now it only drops /proc/kcore out of the kernel for ARM.