Re: [coreboot] GRUB2 compilation failure