Safe old kernel removal for Ubuntu derivatives