secure-kernel-loader

CI: Add CodeQL static analysis

CI: Further adjustments to 32 vs 64bit building

Cleanup: Remove local variables in build_assertions()

CI: Update build to GCC 10,11, Clang 12,13,14

CI: Upgrade to scan-build-14, fix 32bit build