[coreboot] [PATCH] Drop the CONFIG_PCI_BUS_COUNT tweak for seabios