cc3200 board definition update