DCF1 driver for NuttX