[HEADERS] Fix ARM 'make headers_check'