iasl(8) expects integer fields in data tables to be specified as hexadecimal
values. Therefore the bit width of the "PM Timer Block" was actually being
interpreted as 50-bits instead of the expected 32-bit.

This eliminates an error message emitted by a Linux 3.17 guest during boot:
"Invalid length for FADT/PmTimerBlock: 50, using default 32"

Reviewed by:	grehan
MFC after:	1 week


git-svn-id: svn+ssh://svn.freebsd.org/base/head@272838 ccf9f872-aa2e-dd11-9fc8-001c23d0bc1f
Support Intel-specific MSRs that are accessed when booting up a linux in bhyve:
- MSR_PLATFORM_INFO
- MSR_TURBO_RATIO_LIMITx
- MSR_RAPL_POWER_UNIT

Reviewed by:	grehan
MFC after:	1 week


git-svn-id: svn+ssh://svn.freebsd.org/base/head@272839 ccf9f872-aa2e-dd11-9fc8-001c23d0bc1f