aarch64 crefine: update to match other arches #790

Job	Run time
Rebase platform branches (imx8-fpu-ver)	16s
Freeze Code	22s
Rebase platform branches (exynos5-ver)	13s
Proof (AARCH64)	1h 31m 26s
Proof (AARCH64, 1)	1h 27m 57s
Proof (ARM)	14m 41s
Proof (ARM_HYP)	13m 28s
Proof (ARM, 1)	14m 11s
Proof (ARM_HYP, 1)	13m 10s
Proof (RISCV64)	12m 57s
Proof (RISCV64, 1)	12m 58s
Proof (X64)	11m 59s
Proof (X64, 1)	12m 15s
Deploy manifest	1m 18s
	4h 47m 11s

Provide feedback