[PATCH] Fix 'make headers_check' for Alpha