[arch-general] Kernel upgrades question, as can't revert to earlier kernel