[SeaBIOS] [PATCH] pci: fix mmconfig support