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