[PATCH] Fix 'make headers_check' on ia64