F5529 LaunchPad support; Port Mapper now defined in pins_energia.h for Timer_B and pinMode_int() used to configure PxMAP for timers that need port mapper support to switch on.