arm64/mm: Fixed some coding style issues