ARM: fixup SMP alternatives in modules