puts("LBC SDRAM: ");
        print_size(CONFIG_SYS_LBC_SDRAM_SIZE * 1024 * 1024,
-                  "\n       ");
+                  "\n");
 
        /*
         * Setup SDRAM Base and Option Registers
                        law_size_bits(pci_info.io_size), pci_info.law);
 
                pci_agent = fsl_setup_hose(&pci1_hose, pci_info.regs);
-               printf("PCI: %d bit, %s MHz, %s, %s, %s (base address %lx)\n",
+               printf("PCI1: %d bit, %s MHz, %s, %s, %s (base address %lx)\n",
                        (pci_32) ? 32 : 64,
                        (pci_speed == 33333000) ? "33" :
                        (pci_speed == 66666000) ? "66" : "unknown",
                }
 #endif
        } else {
-               printf("PCI: disabled\n");
+               printf("PCI1: disabled\n");
        }
 
        puts("\n");