I am doing upgrade of the Dell PowerEdge 2580 server and after the first reboot the new kernel doesn't boot: I can still boot the old 11.1 kernel.