diff --git a/README.md b/README.md
index 9eba5fe57..c1081ab51 100644
--- a/README.md
+++ b/README.md
@@ -46,7 +46,7 @@ The section below is for Ubuntu and other Debian based distros.
 
 ```
 # Resove build dependencies
-sudo apt install wget make gawk gcc bc xorriso
+sudo apt install wget make gawk gcc bc libelf-dev xorriso
 
 # Build everything and produce ISO image.
 ./build_minimal_linux_live.sh
diff --git a/docs/www/index.html b/docs/www/index.html
index 9ff5fc870..f5184d047 100644
--- a/docs/www/index.html
+++ b/docs/www/index.html
@@ -67,7 +67,7 @@
             Resolve the build dependencies (e.g. GCC, make, etc.). On <a target="_blank" href="http://www.ubuntu.com/">Ubuntu</a> you can use the following command:
             <div style="font-size: 10%;">&nbsp;</div>
             &nbsp;&nbsp;&nbsp;&nbsp;
-            <code>sudo apt install wget make gawk gcc bc xorriso</code>
+            <code>sudo apt install wget make gawk gcc bc libelf-dev xorriso</code>
           </li>
           <li>
             Execute the script <strong>build_minimal_linux_live.sh</strong> and get some coffee. The whole build process should take less than 30 minutes on a modern computer.
diff --git a/src/.config b/src/.config
index 701c74fd5..bf97de983 100644
--- a/src/.config
+++ b/src/.config
@@ -11,7 +11,7 @@
 #
 #   http://kernel.org
 #
-KERNEL_SOURCE_URL=http://kernel.org/pub/linux/kernel/v4.x/linux-4.14.8.tar.xz
+KERNEL_SOURCE_URL=http://kernel.org/pub/linux/kernel/v4.x/linux-4.14.12.tar.xz
 
 # You can find the latest GNU C library source bundles here:
 #
diff --git a/src/README b/src/README
index 76293843c..3f57edb43 100644
--- a/src/README
+++ b/src/README
@@ -10,7 +10,7 @@ configured. Check the project website for more information:
 For Ubuntu and other Debian based operating systems you can use the following
 command in order to resolve the required build dependencies:
 
-  sudo apt install wget make gawk gcc bc xorriso
+  sudo apt install wget make gawk gcc bc libelf-dev xorriso
 
 Once you have your ISO image up and running perhaps you'd like to examine the
 configuration file '.config' and see what options you have there. For example,