PPC32: add CONFIG_DEBUG_SPINLOCK

arch/ppc/Config.help

@@ -1023,3 +1023,7 @@ CONFIG_BOOT_LOAD_BOOL
   which has a small amount of memory.
 
   Say N here unless you know what you are doing.
+
+CONFIG_DEBUG_SPINLOCK
+  Say Y here and to CONFIG_SMP to include code to check for missing
+  spinlock initialization and some other common spinlock errors.

arch/ppc/config.in

@@ -605,6 +605,7 @@ mainmenu_option next_comment
 comment 'Kernel hacking'
 
 bool 'Magic SysRq key' CONFIG_MAGIC_SYSRQ
+bool 'Spinlock debugging' CONFIG_DEBUG_SPINLOCK
 bool 'Include kgdb kernel debugger' CONFIG_KGDB
 if [ "$CONFIG_KGDB" = "y" ]; then
    choice 'Serial Port'			\