contiki loader compiling in RIOT with stubs for arch code