scripts/config: allow alternate prefix to config option symbol