add cert_param(non-acl2r) to defdata/base to fix build