[SeaBIOS] [PATCH 4/4] be less conservative with the 64bit pci io window