Signed Kernels are problematic for some users. While the distribution-supplied kernel binaries are fine for most users, there are always those who want to (or need to, due to hardware quirks or bugs) tinker with the kernel compile-time configuration, or the kernel source code itself…