[SeaBIOS] [PATCH] enumerate all PCI buses in mptable