I have made a custom 64-bit kernel in C, and have a linker script to go with it, but I want to make a 64 bit aware bootloader that will load my 64-bit kernel on UEFI (x86_64) li
