[SeaBIOS] [PATCH v3 0/6] misc tweaks for kvm and the 64bit pci window