[PATCH] aristainetos2: Rename CONFIG_EXTRA_ENV_BOARD_SETTINGS