CP-3989/CP-3940: Add CPUID masking support for Intel Haswell DT and Ivy Bridge EN and EP

This adds CPU models 0x3c and 0x3e to the whitelist.

Signed-off-by: Rob Hoes <rob.hoes@citrix.com>
Merge pull request #129 from robhoes/cpumasking-cw

CLEARWATER: CP-3989/CP-3940: Add CPUID masking support for Intel Haswell DT and Ivy ...