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