[PATCH] lockdep: x86 smp alternatives workaround