VT-d not enabled in BIOS (coreboot)

In the mean time I posted a workaround for Qubes 4 here:

1 Like