ARM64: Clean up file header comment a bit.