diff --git a/src/device/pnp_device.c b/src/device/pnp_device.c
index c7c6228..431e227 100644
--- a/src/device/pnp_device.c
+++ b/src/device/pnp_device.c
@@ -118,21 +118,9 @@
 static void pnp_set_resource(struct device *dev, struct resource *resource)
 {
 	if (!(resource->flags & IORESOURCE_ASSIGNED)) {
-		/* The PNP_MSC Super IO registers have the IRQ flag set. If no
-		   value is assigned in the devicetree, the corresponding
-		   PNP_MSC register doesn't get written, which should be printed
-		   as warning and not as error. */
-		if (resource->flags & IORESOURCE_IRQ &&
-		    (resource->index != PNP_IDX_IRQ0) &&
-		    (resource->index != PNP_IDX_IRQ1))
-			printk(BIOS_WARNING, "%s %02lx %s size: "
-			       "0x%010llx not assigned in devicetree\n", dev_path(dev),
-			       resource->index, resource_type(resource),
-			       resource->size);
-		else
-			printk(BIOS_NOTICE, "%s %02lx %s size: 0x%010llx "
-			       "not assigned in devicetree\n", dev_path(dev), resource->index,
-			       resource_type(resource), resource->size);
+		printk(BIOS_NOTICE, "%s %02lx %s size: 0x%010llx not assigned in devicetree\n",
+		       dev_path(dev), resource->index, resource_type(resource),
+		       resource->size);
 		return;
 	}