Re: [PATCH v2 5/6] armv8: Simplify switch_el macro