Which part is FUD? It sounds like Marcan is acknowledging that this is a hardware issue, and refuting the idea that it's unpatchable by proposing software limitations to avoid upsetting the IOMMU. It seems like the bug will persist at a hardware/firmware level, and relies on the kernel to know what MMIO ranges are faulty.