VT-d not enabled in BIOS (coreboot)

I do now see that /sys is missing remarks of IOMMU, so that’s probably what’s missing.