El jueves, 12 de enero de 2017, 3:03:33 (UTC+1), Gardo escribió:

How to remove the 4.9 kernel gently?

You're using the wrong tool  for the job. Use vkpurge instead.

man vkpurge