Re: [SeaBIOS] [PATCH 11/12] Migrate 64bit entries to 64bit pci regions