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