added a patch for the Live-Build 3.x binary_syslinux script to manage correctly more than 2 kernels
added the configuration of a third kernel for LinuxCNC