I read in a previous post that Clanton GRUB that comes with Galileo does not support multiboot kernel. I personally tried booting a standalone multiboot (non-Linux) kernel and got the infamous Error 13. Does anyone know whether there is a specific reason why multiboot support was dropped in the Clanton customized GRUB legacy? Is this for size or simplicity of the EFI port? How hard would it be to port an EFI GRUB2 to work with Galileo in the SPI flash? Or, has anyone managed to chain load a "normal" GRUB from the Clanton GRUB? Thanks!