Replace Dockerfile with kernel version