diff --git a/src/drivers/pc80/tpm/tpm.c b/src/drivers/pc80/tpm/tpm.c
index 6af826cde0..95db1620c5 100644
--- a/src/drivers/pc80/tpm/tpm.c
+++ b/src/drivers/pc80/tpm/tpm.c
@@ -751,9 +751,6 @@ static void lpc_tpm_set_resources(struct device *dev)
 			tis_setup_interrupt((int)res->base,
 					    config->irq_polarity);
 		} else {
-			printk(BIOS_ERR,
-			       "ERROR: %s %02lx unknown resource type\n",
-			       dev_path(dev), res->index);
 			continue;
 		}