Re: [SeaBIOS] [PATCH 1/6] pci: don't reorder entries when moving to 64bit list