[PATCH RFC 4.9 3/5] arm64: reduce el2_setup branching