diff --git a/config-nodebug b/config-nodebug
index 541a0e9a0..c39df4bc1 100644
--- a/config-nodebug
+++ b/config-nodebug
@@ -7,7 +7,7 @@ CONFIG_SND_PCM_XRUN_DEBUG=y
 # CONFIG_DEBUG_MUTEXES is not set
 # CONFIG_DEBUG_RT_MUTEXES is not set
 # CONFIG_DEBUG_LOCK_ALLOC is not set
-# CONFIG_PROVE_LOCKING is not set
+CONFIG_PROVE_LOCKING=y
 CONFIG_DEBUG_SPINLOCK=y
 # CONFIG_PROVE_RCU is not set
 # CONFIG_PROVE_RCU_REPEATEDLY is not set
diff --git a/kernel.spec b/kernel.spec
index 8e21b96d5..9e6b3d6c5 100644
--- a/kernel.spec
+++ b/kernel.spec
@@ -95,7 +95,7 @@ Summary: The Linux kernel
 # The rc snapshot level
 %define rcrev 4
 # The git snapshot level
-%define gitrev 3
+%define gitrev 4
 # Set rpm version accordingly
 %define rpmversion 3.%{upstream_sublevel}.0
 %endif
@@ -2312,6 +2312,10 @@ fi
 #                 ||----w |
 #                 ||     ||
 %changelog
+* Thu Jan 24 2013 Justin M. Forbes <jforbes@redhat.com> - 3.8.0-0.rc4.git4.1
+- Linux v3.8-rc4-183-gff7532c
+- Enable lockdep
+
 * Wed Jan 23 2013 Justin M. Forbes <jforbes@redhat.com> - 3.8.0-0.rc4.git3.1
 - Linux v3.8-rc4-139-g1d85490
 - Enable debug spinlocks
diff --git a/sources b/sources
index 908445858..198e5354f 100644
--- a/sources
+++ b/sources
@@ -1,3 +1,3 @@
 21223369d682bcf44bcdfe1521095983  linux-3.7.tar.xz
 68f3bd39cd3274dab38d16d420419ac1  patch-3.8-rc4.xz
-2eb9afa2cd922672cacc1b433a40eac7  patch-3.8-rc4-git3.xz
+89901a35732facbc4651569fefb023ff  patch-3.8-rc4-git4.xz