[PATCH] lockdep: print kernel version