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

adfernandes/micro-ecc,kmackay/micro-ecc,adfernandes/micro-ecc,adfernandes/micro-ecc,adfernandes/micro-ecc,kmackay/micro-ecc,kmackay/micro-ecc,kmackay/micro-ecc