removed reference to Timer5IntHandler since it's not used on cc3200 at all