brcm47xx: deactivate CONFIG_NO_HZ as it seams not to be needed.