[coreboot] Debugging Windows 10 BSOD