stmark2: Migrate CONFIG_SYS_EXTRA_OPTIONS to Kconfig

This platform is the only one to set these options, so define them in
the board Kconfig file.

Cc: Angelo Dureghello <angelo@sysam.it>
Signed-off-by: Tom Rini <trini@konsulko.com>
2 files changed