The file "bootstrap" boots the kernel.

   bootstrap [-d] [-k kernel_executable] [-r ramdisk_image]

The kernel_executable name defaults to vmlinux.

The file "vmlinux" is an "executable" kernel.  It only does a bit
right now.

