[SeaBIOS] Re: [PATCH] pci: add mmconfig support