Pic32 minor code reorganization

Minor code reorganization to permit more flexible configuration of timers on different platforms.