[Arm-dev] raspi kernel upgrade activates not the latest kernel version

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