[SeaBIOS] [PATCH v2 4/4] kvm: add support for reading tsc frequency from kvmclock