[coreboot] Solution to Windows 8 booting problems