improvements in install_kernel.sh
A script for installing Docker on Ubuntu