[Bug 529965] Different version of kernel-default, kernel-default-extra and kernel-source