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