Hi, one of the upstream devs said that Linux doestn't support loading a 64bit kernel from 32bit EFI or vice versa. Does it actually work if you compile a 64bit EFI grub yourself? -- Felix Zielcke