Fixed missing kernel-files