[HEADERS] Fix ARM 'make headers_check'

Sanitise the ARM headers exported to userspace.

Signed-off-by: David Woodhouse <dwmw2@infradead.org>
2 files changed