[SeaBIOS] Re: [PATCH v2 4/4] only enable 64bit pci io window when RAM >64G