It's really a bootloader, not a kernel.