diff --git a/repos/os/src/drivers/gpu/intel/main.cc b/repos/os/src/drivers/gpu/intel/main.cc
index ed16e96ca..cbb82fd40 100644
--- a/repos/os/src/drivers/gpu/intel/main.cc
+++ b/repos/os/src/drivers/gpu/intel/main.cc
@@ -170,7 +170,8 @@ struct Igd::Device
 			 */
 			_pci.upgrade_ram(size);
 			try {
-				return _pci.alloc_dma_buffer(size);
+				return _pci.with_upgrade([&] () {
+					return _pci.alloc_dma_buffer(size); });
 			}
 			catch (Platform::Out_of_ram) {
 				throw Out_of_ram(); }