Configurable save/restore for the Timer registers

This series has fix for the issue #148, based on commits to introduce build system changes and build option documentation