[PATCH] Fix broken kernel headers preventing ARM build