Do not set PERIPH_TIMER_PROVIDES_SET to 1, this is not required and
inconsistent with its usage in other CPUs.