Andrei Borzenkov wrote:
I think it may happen if installation failed in the middle, usually in
some post-install script. Try "rpm -e -a".
Thanks for following up. Finally it worked with:
rpm -e --allmatches kernel-default-4.8.9-1.1.x86_64
Ciao, Michael.