intel/haswell: add vmx support w/Kconfig option

Change-Id: I61232fdc2a29c53aa3bea5ea78b2fdc41fd7396a
Signed-off-by: Matt DeVillier <matt.devillier@gmail.com>
google/panther: clean up config guards

Remove unnecessary config guards on headers
Don't indent config guards
Use #if IS_ENABLED(x)

Change-Id: I99bd1690905de1bd33c8a82c9442fd5e1e9522b8
Signed-off-by: Matt DeVillier <matt.devillier@gmail.com>