Updated with the latest cc2538dk uart configuration files