diff --git a/src/device/pci_device.c b/src/device/pci_device.c
index 90b26c1..fda088b 100644
--- a/src/device/pci_device.c
+++ b/src/device/pci_device.c
@@ -423,7 +423,9 @@
 	res->align = max_requested_bits;
 	res->gran = max_requested_bits;
 	res->limit = (res->flags & IORESOURCE_PCI64) ? UINT64_MAX : UINT32_MAX;
-	res->flags |= IORESOURCE_PCIE_RESIZABLE_BAR;
+	res->flags |= (res->flags & IORESOURCE_PCI64) ?
+		IORESOURCE_PCIE_RESIZABLE_BAR | IORESOURCE_ABOVE_4G :
+		IORESOURCE_PCIE_RESIZABLE_BAR;
 
 	printk(BIOS_INFO, "%s: Adjusting resource index %lu: base: %llx size: %llx "
 	       "align: %d gran: %d limit: %llx\n",