91c91,92
< const Addr PhysAddrPrefixIO = ULL(0x1000000000000000);
---
> const Addr PhysAddrPrefixIO = ULL(0x8000000000000000);
> const Addr PhysAddrPrefixPciConfig = ULL(0xC000000000000000);