Allow the guest to read the TSC via MSR 0x10.
NetBSD/amd64 does this, as does Linux on AMD CPUs.

Reviewed by:	neel
MFC after:	3 weeks
Exposed debug.acpi.max_tasks and debug.acpi.max_threads via sysctls so their
values can be viewed.