ARM: fix file's header comment