diff --git a/repos/os/recipes/raw/drivers_interactive-pc/drivers.config b/repos/os/recipes/raw/drivers_interactive-pc/drivers.config
index c9afd4b57c..44e4bbd65e 100644
--- a/repos/os/recipes/raw/drivers_interactive-pc/drivers.config
+++ b/repos/os/recipes/raw/drivers_interactive-pc/drivers.config
@@ -16,9 +16,6 @@
 
 	<default caps="60"/>
 
-	<service name="Platform">
-		<default-policy> <child name="platform_drv"/> </default-policy> </service>
-
 	<start name="acpi_drv" caps="250">
 		<resource name="RAM" quantum="4M"/>
 		<route>
@@ -74,11 +71,6 @@
 			<policy label_prefix="usb_drv">  <pci class="USB"/> </policy>
 			<policy label_prefix="nic_drv">  <pci class="ETHERNET"/> </policy>
 			<policy label_prefix="wifi_drv"> <pci class="WIFI"/> </policy>
-			<policy label_prefix="intel_gpu_drv">
-				<pci class="VGA"/>
-				<pci bus="0" device="0" function="0"/>
-				<pci class="ISABRIDGE"/>
-			</policy>
 		</config>
 	</start>