/src/VBox/Devices/EFI/Firmware/PcAtChipsetPkg/PciHostBridgeDxe/Ia32/