Use the more generic executable name kernel.elf for loading a kernel