Trying out nRF52 timers in mbed using the nrf drivers from the nRF52 SDK 14.2