HomeFreeBSD

x86: Add Intel TD/HFI related MSR/CPUID defines to specialregs.h