hw/pci-host/x86: extract get_pci_hole64_start_value() helpers