Building an x86 Linux kernel that works with both systemd-boot and kexec