Add patch to docker to make it work on kernels without /proc/kcore

(makes 0.11 work on ODROID-U3)
community/docker: Update pkgrel to 1.1

(for kcore patch)
Merge pull request #832 from djmaze/docker-kcore-patch

 community/docker: make 0.11 work on kernels without /proc/kcore