[kernel] sync with external source. support for dynamic timer

Change-Id: I87d3c87a7a046413975108f93be63fa5a5999636
6 files changed