riotboard: manually added the changes from the pull-request