board/cc2538dk: Restore renode config
board/cc2538dk: Restore renode config

authmillenon/RIOT,OlegHahm/RIOT,kaspar030/RIOT,ant9000/RIOT,OlegHahm/RIOT,kYc0o/RIOT,authmillenon/RIOT,jasonatran/RIOT,kaspar030/RIOT,ant9000/RIOT,OlegHahm/RIOT,OTAkeys/RIOT,kaspar030/RIOT,miri64/RIOT,RIOT-OS/RIOT,authmillenon/RIOT,kaspar030/RIOT,ant9000/RIOT,RIOT-OS/RIOT,kYc0o/RIOT,OTAkeys/RIOT,kYc0o/RIOT,kYc0o/RIOT,miri64/RIOT,authmillenon/RIOT,authmillenon/RIOT,jasonatran/RIOT,kaspar030/RIOT,miri64/RIOT,RIOT-OS/RIOT,RIOT-OS/RIOT,OlegHahm/RIOT,OTAkeys/RIOT,kYc0o/RIOT,ant9000/RIOT,OTAkeys/RIOT,jasonatran/RIOT,authmillenon/RIOT,OlegHahm/RIOT,jasonatran/RIOT,ant9000/RIOT,OTAkeys/RIOT,jasonatran/RIOT,miri64/RIOT,miri64/RIOT,RIOT-OS/RIOT