Add Linux header for aarch64 #1843

Job	Run time
build (ubuntu-latest, x86_64, nightly)	2m 3s
build-for-other-platforms (ubuntu-latest, nightly)	2m 31s
clippy (x86_64, nightly)	1m 27s
build (ubuntu-latest, x86_64, nightly-2024-12-25)	1m 58s
build-for-other-platforms (ubuntu-latest, nightly-2024-12-25)	2m 8s
clippy (x86_64, nightly-2024-12-25)	1m 34s
build (ubuntu-latest, riscv64, nightly)	1m 59s
clippy (riscv64, nightly)	1m 2s
build (ubuntu-latest, riscv64, nightly-2024-12-25)	2m 1s
clippy (riscv64, nightly-2024-12-25)	1m 2s
build (ubuntu-latest, aarch64, nightly)	2m 1s
build (ubuntu-latest, aarch64, nightly-2024-12-25)	2m 8s
clippy (aarch64, nightly)	1m 8s
clippy (aarch64, nightly-2024-12-25)	1m 9s
	24m 11s

Provide feedback