Re: [PATCH 1/3] aristainetos2: Rename CONFIG_EXTRA_ENV_BOARD_SETTINGS