This timer will be used by RIOT-OS as the scheduling timer for stm32mp157c-dk2 board. Signed-off-by: Gilles DOFFE <gilles.doffe@savoirfairelinux.com>