[PATCH RESEND 0/6] Add support for configuring PCI high memory MMIO size