Use x15 as the imt/rgctx register instead of x27 on arm64.