[Tee-dev] Pager and ARMv8