diff --git a/docs/www/index.html b/docs/www/index.html
index 47e8fdbfa..9ff5fc870 100644
--- a/docs/www/index.html
+++ b/docs/www/index.html
@@ -238,9 +238,6 @@
           <li>
             <strong>Custom MLL boot logo</strong> - the MLL boot logo is provided as separate overlay bundle. However, it is different from the other overlay bundles because it doesn't add overlay functionality. Instead, this overlay bundle "injects" the custom MLL boot logo in the kernel source tree and triggers small kernel rebuild. This overlay bundle is enabled by default.
           </li>
-          <li>
-            TODO...
-          </li>
         </ul>
       </div>
       <div style="font-size: 10%;">&nbsp;</div>        
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/14_generate_iso.sh b/src/14_generate_iso.sh
index 94791ccb1..0d3bd9495 100755
--- a/src/14_generate_iso.sh
+++ b/src/14_generate_iso.sh
@@ -13,7 +13,7 @@ uefi() {
   # USB flash drive, e.g. 'dd if=minimal_linux_live.iso of=/dev/sdb'.
   xorriso -as mkisofs \
     -isohybrid-mbr $WORK_DIR/syslinux/syslinux-*/bios/mbr/isohdpfx.bin \
-    -c boot.cat \
+    -c boot/boot.cat \
     -e boot/uefi.img \
       -no-emul-boot \
       -isohybrid-gpt-basdat \