diff --git a/src/mainboard/amd/serengeti_cheetah_fam10/get_bus_conf.c b/src/mainboard/amd/serengeti_cheetah_fam10/get_bus_conf.c
index e1f2409504..82670bd586 100644
--- a/src/mainboard/amd/serengeti_cheetah_fam10/get_bus_conf.c
+++ b/src/mainboard/amd/serengeti_cheetah_fam10/get_bus_conf.c
@@ -37,6 +37,9 @@ static u32 get_hcid(u32 i)
 
 	dev = dev_find_slot(busn, PCI_DEVFN(devn,0));
 
+	if (dev == NULL)
+		die("ERROR - could not find PCI %02x:%02x.0\n", busn, PCI_DEVFN(devn, 0));
+
 	switch (dev->device) {
 	case 0x7458: /* 8132 */
 		id = 1;