Move SPL_OS_BOOT to Kconfig and cleanup existing
uses.
Signed-off-by: NHeiko Schocher <hs@denx.de>