hopefully point syslinux at the correct kernel images.