Various tiny fixes (trivial):

- Show PCI IDs as 4-digit numbers always.

 - Cosmetic changes to make UI look more consistent.

 - Drop MODULE_COUNT #define and use ARRAY_SIZE() where needed.

 - Small fix to improve build system (create build/ when not there).

Signed-off-by: Uwe Hermann <uwe@hermann-uwe.de>
Acked-by: Uwe Hermann <uwe@hermann-uwe.de>



git-svn-id: svn://svn.coreboot.org/coreboot/trunk@3191 2b7e53f0-3cfb-0310-b3e9-8179ed1497e1

payloads/coreinfo/pci_module.c

@@ -156,7 +156,7 @@ static int pci_module_redraw(WINDOW *win)
 		else
 			wattrset(win, COLOR_PAIR(2));
 
-		mvwprintw(win, 2 + i, 1, "%X:%2.2X.%2.2X %X:%X  ",
+		mvwprintw(win, 2 + i, 1, "%X:%2.2X.%2.2X %04X:%04X  ",
 			  bus, devfn, func,
 			  devices[item].id & 0xffff,
 			  (devices[item].id >> 16) & 0xffff);