query: Revert to old kernel
positive_passages.docid: 479
positive_passages.text: How can I boot with an older kernel version?
negative_passages.docid: 16526
negative_passages.text: Should I upgrade to the "mainline" kernels?
negative_passages.docid: 3776
negative_passages.text: How to restore a system after accidentally removing all kernels?
negative_passages.docid: 123668
negative_passages.text: How to securely download a new kernel?
negative_passages.docid: 154970
negative_passages.text: How to strip a Linux system?
negative_passages.docid: 71449
negative_passages.text: How can I revert a config file back to the originally installed version after I have edited it?
negative_passages.docid: 116808
negative_passages.text: replace internal memory
negative_passages.docid: 114706
negative_passages.text: How can I change the contents of grub loader?
negative_passages.docid: 108128
negative_passages.text: How to install newer versions of the Linux kernel?
negative_passages.docid: 144869
negative_passages.text: Can I switch to HWE kernel after installation?
negative_passages.docid: 15017
negative_passages.text: Wrong kernel after upgrade --- old kernel still installed?
negative_passages.docid: 152029
negative_passages.text: Make grub keep its default boot under kernel updates
negative_passages.docid: 35566
negative_passages.text: Kernel did not upgrade between 14.04 LTS to 16.04 LTS
negative_passages.docid: 140470
negative_passages.text: How do I update kernel to the latest mainline version?
negative_passages.docid: 77139
negative_passages.text: Why are old initrd files of uninstalled kernels filling up /boot partition?
negative_passages.docid: 111726
negative_passages.text: Old kernel with Ubuntu 16.04.2 update
negative_passages.docid: 41825
negative_passages.text: How to downgrade from 64-bit to 32-bit