[coreboot] Re: Debugging Windows 10 BSOD