[PATCH] 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>
Signed-off-by: Si Beaumont <simon.beaumont@citrix.com>