<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.