Added code to initialize the 32kHz crystal pins for proper operation. By
default the pins are configured as GPIO.
Merge pull request #39 from peretuset/develop

More changes in the CC2538 board support package.