Fix ARM 'make headers_check'