Contiki port to efm32 and Si4461 radio