[PATCH] remove kernel/lockdep.c:lockdep_internal