Thanks a bunch. I will try the oldest kernel first then the other commands if need be. I'll let you know.

dpkg -l | grep linux-image | awk '{print$2}'

--