Merge pull request #176 from benpicco/riot

platform-specific.inc: add support for RIOT-OS