Re: [coreboot] [PATCH] remove dead code from pci_rom.c