How to sign a kernel module for Secure Boot on Debian in 2023