OK, I'm enabling the desired kernel features one-at-a-time now and saving a new defconfig every step. Hopefully that will tell me exactly where things are going wrong with this spinlocks thing