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