Allow multiple devpts instances in linux-odroid kernel config

This is needed in order to run [docker](https://github.com/archlinuxarm/PKGBUILDs/tree/master/community/docker) containers (tested on ODROID-U3).
Merge pull request #695 from djmaze/patch-1

Allow multiple devpts instances in linux-odroid kernel config