Re: [coreboot] [PATCH] [buildrom] move to grub2 mainline