Debugging Kernel - prove locking correctness caused kernel to fail to boot

Using the linux 3.12-rc5 on the Beaglebone Black, I enabled Prove Locking Correctness in my kernel build and it caused the kernel to fail to boot (it pauses at Starting Kernel).

I haven't had time to track it down but if you can confirm or think of a reason why then it would be helpful.
