[coreboot] Question on coreboot with grub4dos legacy and UEFI?