So for some reason zypper thinks there is no kernel with the same version installed for each of those devel and source packages it is removing. I will try to reproduce that locally in order to figure out what is breaking here.