[SeaBIOS] [PATCH] Replace CONFIG_PCI_ROOT1/2 with CONFIG_EXTRA_PCI_ROOTS.