I am wondering, normal users with Ubuntu and no particular knowledge of the system are doomed having an hundred long kernel list in Grub and the disk filled or there’s an idiot proof way to get rid of oldest kernel?