This is an old revision of the document!
See Kernel
Delete a newer kernel while booted with the older kernel
Delete Old Kernel Images