-#if defined(CONFIG_405GP)
- if (mfdcr(strap) & PSR_PCI_ASYNC_EN)
- printf(" PCI async ext clock used, ");
- else
- printf(" PCI sync clock at %lu MHz, ",
- sys_info.freqPLB / sys_info.pllPciDiv / 1000000);
- if (mfdcr(strap) & PSR_PCI_ARBIT_EN)
- printf("internal PCI arbiter enabled\n");
- else
- printf("external PCI arbiter enabled\n");
-#elif defined(CONFIG_405EP)
- if (mfdcr(cpc0_boot) & CPC0_BOOT_SEP)
- printf(" IIC Boot EEPROM enabled\n");
- else
- printf(" IIC Boot EEPROM disabled\n");
- printf(" PCI async ext clock used, ");
- if (mfdcr(cpc0_pci) & CPC0_PCI_ARBIT_EN)
- printf("internal PCI arbiter enabled\n");
- else
- printf("external PCI arbiter enabled\n");
+#if defined(I2C_BOOTROM)
+ printf (" I2C boot EEPROM %sabled\n", i2c_bootrom_enabled() ? "en" : "dis");