[coreboot] Re: Question about booting windows10