Re: [Pki-devel] [PATCH] 174 - re-enable security manager for f20/ 10.1