Mako Kernel based on MiRaGe kernel with kexec-patch/Multiboot