Mitigation: PTE Inversion; VMX: flush not necessary, SMT disabled