Sorry just pointed out why the Kconfig idea doesn't work, nothing more.
If you want to avoid ifdefs then you have to unify the functionality
first. Putting syntactical sugar on ifdefs doesn't make sense.
I haven't kept track of the exact state of the code, but if the per cpu
data macros are finally as efficient as the PDA you could move the
nmi_count to per_cpu in both for once.
-Andi
--