[SeaBIOS] Thinkpad W530 Windows 10/11 BSOD

[Simon Dominic]

Hi,

When I compile coreboot for the Thinkpad W530 with SeaBIOS and even with vga bios roms (both integrated and discrete) and try to run Windows 10 or 11, I get BSOD "ACPI BIOS ERROR". Even just sticking in the Windows install usb and loading that, that error shows up.

Thanks
Simon