kconfig: remove redundant "SPL" from CONFIG_SYS_EXTRA_OPTIONS