[PATCH 05/22] stmark2: Migrate CONFIG_SYS_EXTRA_OPTIONS to Kconfig