Re: [PATCH 13/24] xen/arm: get privilege status