> on lockdep we have a quite big spinlock_t, so keep the size down.

Yes, that builds fine.

However the kernel won't boot for me... it oopses early on in
save_stack_trace().  I'm attaching a bootlog, plus another try booting
with nmi_watchdog=0, plus my config.

Thanks,
  Roland