Correction: using the --fix option works great. A subsequent run then allows purging of the rest of that kernel.
Correction: using the --fix option works great. A subsequent run then allows purging of the rest of that kernel.