Fix the name of Makefile.aarch64

Makefile.arm64 relies on being included via Makefile.${MACHINE}. This
only works when arm64 is the only aarch64 architecture. Switch to
Makefile.aarch64 so downstream CheriBSD can use the file when building
for Morello which uses a differen ${MACHINE} value.

Sponsored by:	Innovate UK
This commit is contained in:
Andrew Turner 2022-05-12 13:50:59 +01:00
parent 527762b2f7
commit 190abf86bb