[Bug 1060560] kernel-devel and kernel-default-devel mis-match with running kernel