build system: tidying up CONFIG_xxx names (suggested by Rob)

19 files changed