MFC Kernel using C Multiboot loaderfile structure more details [https://www.gnu.org/software/grub/manual/multiboot/multiboot.pdf]