Renamed some defconfigs to make them easier to identify