[coreboot] Question about booting windows10