[Bug 455917] Version of kernel-default doesn't match kernel-source