Downgrade Arch Linux Kernel

As is my habit, I ran pacman -Syu on my Qotom fanless server to get all the fresh Arch Linux software updates. The update included a kernel, moving from “linux-hardened-7.1.3.hardened1-4” to “linux-hardened-7.1.5.hardened1-1”. Kernel upgrades are almost always no big deal. Today, I got a kernel panic!