Chas Williams fixed the compilation on SMP, so we can remove the Kconfig
annotation now and let people select it in the build again.