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