/src/VBox/Devices/EFI/Firmware/SourceLevelDebugPkg/Include/Ia32/