arm64: use correct register width when retrieving ASID