Re: [PATCH v6 4/4] configs: sama5d2: enable option CONFIG_ATMEL_TCB_TIMER