Hyperls: Implemented IA-32e and 32 PAE paging validation

Added "westemere" microachitecture
Removed HOST_CR3 and GUEST_CR3 scanners (not so useful)
Added VmxEnabled scanner
Small changes for optimization purposes
Small bug fix

Signed-off-by: enrico canzonieri <enrico.canzonieri@eurecom.fr>