This backports the binder driver from the latest upstream linux
kernel tree as of v4.13-rc3-118-g19ec50a43 and enables a working
build on older kernels (e.g. 4.4).
The newer driver allows specification of multiple binder device
nodes but for the moment we only enable the default "binder" one.