## Summary: Adds support for edk2-platforms and IntelVTdDxe enabling UEFI support. ## Why: This change allows for proper QEMU testing of the new IOMMU wrapper in the uefi-rs repo, for reference https://github.com/rust-osdev/uefi-rs/pull/1728.
Summary:
Adds support for edk2-platforms and IntelVTdDxe enabling UEFI support.
Why:
This change allows for proper QEMU testing of the new IOMMU wrapper in the uefi-rs repo, for reference rust-osdev/uefi-rs#1728.