tree fe8c2ae63256da10f04e5f5547a9a1e13d0345a6
parent ae5326a6b34b34b1827edf2eee1a0e9e5363c5a2
author Patrice Chotard <patrice.chotard@st.com> 1517229860 +0100
committer Tom Rini <trini@konsulko.com> 1517248110 -0500

board: stm32: Fix stm32f746-disco boot

Since 'commit af2f44267 ("fdc spl: use different BOARD_INIT MACRO for spl and tpl")'
board stm32f746-disco can't boot.

The macro CONFIG_IS_ENABLED() can't evaluate the value of
CONFIG_SPL_BOARD_INIT as it was defined in include/configs/stm32f746-disco.h
without attributed value.

Moving CONFIG_SPL_BOARD_INIT from stm32f746-disco.h to mach-stm32/Kconfig
fixes this issue.

Fixes: af2f44267 ("fdc spl: use different BOARD_INIT MACRO for spl and tpl")
Signed-off-by: Patrice Chotard <patrice.chotard@st.com>