Patch guido

config

@@ -12,16 +12,16 @@
 # If you do not need booting from CD (eg you're booting only from USB)
 # then you can ignore recompiling isolinux.bin, just rename LIVEKITNAME
 # and you're done.
-LIVEKITNAME="linux"
+LIVEKITNAME="briq"
+
+# Kernel version. Change it to "3.2.28" for example, if you are building
+# Live Kit with a different kernel than the one you are actually running
+KERNEL=$BRIQ_KERNEL_NAME
 
 # Kernel file, will be copied to your Live Kit
 # Your kernel must support aufs and squashfs. Debian Jessie's kernel is ready
 # out of the box.
-VMLINUZ=/vmlinuz
-
-# Kernel version. Change it to "3.2.28" for example, if you are building
-# Live Kit with a different kernel than the one you are actually running
-KERNEL=$(uname -r)
+VMLINUZ="/vmlinuz-$KERNEL"
 
 # List of directories for root filesystem
 # No subdirectories are allowed, no slashes,