[Pki-devel] [PATCH] 327 - small fix for SERVER_KEYGEN slot substitution