bcm53xx: fix selecting HAVE_SMP symbol in Kconfig