Kernel.ycp now depends on PackagesProposal.ycp