[PATCH 4.9 47/66] arm64: alternatives: use tpidr_el2 on VHE hosts