iso/syslinux: Update text help of the default kernel entry
iso/syslinux: Add a new entry with the latest Linux kernel tree
iso/build.sh: Copy and prepare the latest kernel tree