[SeaBIOS] [PATCH 3/3] kvm: add support for reading tsc frequency via cpuid.