[PATCH] new toplevel target: headers_check_all