fix sync errors

add kernel source to manifest, delete dependencies