The TRACE_IRQFLAGS was originally written for lockdep, but it is now
used by Ftrace's irqsoff tracer.
I just compiled and booted with TRACE_IRQFLAGS=y and PROVE_LOCKING not
set, and it worked fine.
I think the correct patch is to remove the dependency of TRACE_IRQFLAGS
on PROVE_LOCKING.
-- Steve
--