Push PKINIT configuration into default_config.c