Make sure rt_davinci_mdio and rt_smsc are only build with the rt_ticpsw driver