following the microkernel paradigm should we, at least try again, to turn cc2420 on?