Use <filename>kernel.GENERICthe qualified <filename>/boot/GENERIC/kernel</filename> to refer to the default kernel that comes with an installation, or <filename>/boot/kernel.old/kernel</filename>, to refer to the previously installed kernel before a system upgrade or before configuring a custom kernel.