VT-d not enabled in BIOS (coreboot)

Ping? Can we get a response?