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

(makes 0.11 work on ODROID-U3)