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).