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

Makes 0.11 work on the ODROID-U3. 

This is the patch from dotcloud/docker#5673.