Comment 13 for bug 1677611

No, I'm using whatever in proposed repositories. Is it different from what is in repositories? Name is the same, don't want to override current kernel, it seems to be the only one installed currently.