More changes in the CC2538 board support package.

Added code to initialize the 32kHz crystal pins for proper operation. By default the pins are configured as GPIO.