TSC: Use 0x40000010 CPUID leaf for all VM types

[cperciva]

Summary

While this CPUID leaf was originally only used by VMWare, other
hypervisors now also use it to announce the TSC frequency to guests.

This speeds up the boot process by 100 ms in EC2 and other systems,
by allowing the early calibration DELAY to be skipped.

Sponsored by: https://www.patreon.com/cperciva

[markj]

sys/x86/x86/tsc.c

134

I think this multiplication can overflow, actually. The RHS is promoted after the multiplication.

[cperciva]

Fix overflow bug

[cperciva]

sys/x86/x86/tsc.c

134

Thanks, fixed!

[cperciva]

Committed. (I forgot to include the Differential Revision tag in the commit message.)