Extended version: enabling lattice-based post-quantum cryptography on the opentitan platform (Journal of Cryptographic Engineering, 2025)