[SeaBIOS] Re: [PATCH 3/4] move 64bit pci window to end of address space