OK, it's good to hear. Judging from the description from Alex, this rather sounds like a bug in BIOS / UEFI. Maybe the kernel could have some workaround (e.g. Intel had quite a few workarounds about IOMMU handling), but waiting for the BIOS fix might be another hope.