2016-01-25 - releng
15:22	<hashar>	CI: fixing kernels not upgrading via: rm /boot/grub/menu.lst ; update-grub -y (i.e.: regenerate the Grub menu from scratch)	[releng]