So that it doesn't clash with the extmod version. Also make the default for this enabled, so that most boards do not need to configure it. Signed-off-by: Damien George <damien@micropython.org>
Resolves dependencies for MICROPY_PY_TIME_TICKS which requires to link against nrfx_rtc.c functions by setting MICROPY_PY_MACHINE_RTCOUNTER to 1.
Example make command: make BOARD=actinius_icarus