changing TIMER WIDTH to 32bit
Merge branch 'develop_cc2538' of github.com:openwsn-berkeley/openwsn-fw into develop_cc2538
adding bsp_timer