Re: [SeaBIOS] [PATCH 2/3] Add a new PCI region type to supports 64 bit ranges