makedef: Add support for identifying the ARM64 machine type