Secure boot and packaging third-party kernel modules