[SeaBIOS] [PATCH 1/2 V2] qemu-kvm: Synchronize kernel headers