XXX aarch64: arch-switch: implement switch-to

XXX