[kernel][timer] Fixup dynamic timer

Modify platform.h to add definitions of hooks required by
implementation of dynamic timer

Disable setting periodic timer if PLATFORM_HAS_DYNAMIC_TIMER
is chosen.

Fix a warning.
[arch][arm-m] properly set all NVIC priorites to medium