Hotswapping kernels like they're keyboard switches
A guide to learn how to boot into different Linux kernels for whatever reason, such as
helplessly broken dependencies on gcc. Also an memo for myself in case I need to
swap between kernels (again) for whatever cursed reason!