Install VirtualBox over Fedora with SecureBoot enabled

Not too long ago, I upgraded my computer and got a new Lenovo ThinkPad X1 Carbon (a great machine so far!). Since I was accustomed to working on a gaming rig (Ryzen 7, 64GB RAM, 4TB) that I had set up about five years ago, I completely missed the Secure Boot and TPM trends —these weren’t relevant for my fixed workstation. However, my goal with this new laptop is to work with both Linux and Windows…