vmm: Set CPUID.1.ECX.TSC-Deadline[bit 24] to 1
vmm: Set CPUID.1.ECX.TSC-Deadline[bit 24] to 1

... to advertize the availability of the TSC deadline timer, which is availble
since SNB (see the Intel 64 and IA-32 Architectures Software Developer's
Manual, Volume 2: Instruction Set Reference, A-Z for additional details).

This allows Linux (i.e., the guest kernel) to skip the local APIC timer
calibration, thus speeding up the boot process.

Tested-by: Alakesh Haloi <8ef2869d2aab00f106b2eb10ee2fac276a71da40@amazon.com>
Signed-off-by: Filippo Sironi <d0a9a56db2ecdc6cd4cf6056ca61ed5d53e9c5af@amazon.de>
Reviewed-by: Alakesh Haloi <8ef2869d2aab00f106b2eb10ee2fac276a71da40@amazon.com>

firecracker-microvm/firecracker,firecracker-microvm/firecracker,firecracker-microvm/firecracker,firecracker-microvm/firecracker,firecracker-microvm/firecracker