Thank you. With your suggestion I was able to fix it.

Do you have any idea why the new kernel failed to boot in this machine?