There was a recent kernel update from PMG. I try to keep the system clean and use pvekclean to remove old kernels. I expected, I need to reboot first and then be able to remove the old kernel, but it seems to have been used already. So my question is: Is there no reboot required? Are new kernels used directly? May it break then at next reboot?