old RIOT repo, kept for convenience until all cherry-picked commits are merged into clean Makefile RIOT