[SeaBIOS] Re: [PATCH v2 0/2] pci: add mmconfig support