UEFI-bootloader for the kernel