<snip> >> I could do some testing, but there is no new kernel at the given URL. > > It's there, now. > > BR > We had to rebuild several times, and add some extra fixes. In the typical case where you "add one, remove one" kernel, the %postun was being run after the %postin for the new one, and left the system with an older kernel running. We moved the %postin to %posttrans to fix this. Pablo.