Updated sodadk serial port list to include /dev/ttymxc[0-4].
Merge branch 'develop' of https://github.com/eclipse/kura into develop