Kconfig: Migrate BOARD_LATE_INIT to a select
This option should not really be user selectable. Note that on PowerPC
we currently only need BOARD_LATE_INIT when CHAIN_OF_TRUST is enabled so be
conditional on that.
Signed-off-by: Tom Rini <trini@konsulko.com>
Acked-by: Masahiro Yamada <yamada.masahiro@socionext.com> (for UniPhier)
diff --git a/arch/arm/mach-rockchip/rk3288/Kconfig b/arch/arm/mach-rockchip/rk3288/Kconfig
index 54545f3..35d8dbf 100644
--- a/arch/arm/mach-rockchip/rk3288/Kconfig
+++ b/arch/arm/mach-rockchip/rk3288/Kconfig
@@ -2,6 +2,7 @@
config TARGET_FIREFLY_RK3288
bool "Firefly-RK3288"
+ select BOARD_LATE_INIT
help
Firefly is a RK3288-based development board with 2 USB ports,
HDMI, VGA, micro-SD card, audio, WiFi and Gigabit Ethernet, It
@@ -10,6 +11,7 @@
config TARGET_EVB_RK3288
bool "Evb-RK3288"
+ select BOARD_LATE_INIT
help
EVB-RK3288 is a RK3288-based development board with 2 USB ports,
HDMI, VGA, micro-SD card, audio, WiFi and Gigabit Ethernet, It
@@ -18,6 +20,7 @@
config TARGET_FENNEC_RK3288
bool "Fennec-RK3288"
+ select BOARD_LATE_INIT
help
Fennec is a RK3288-based development board with 2 USB ports,
HDMI, micro-SD card, audio, WiFi and Gigabit Ethernet. It also
@@ -26,6 +29,7 @@
config TARGET_POPMETAL_RK3288
bool "PopMetal-RK3288"
+ select BOARD_LATE_INIT
help
PopMetal is a RK3288-based development board with 3 USB host ports,
1 micro USB OTG port, HDMI, VGA, micro-SD card, audio, WiFi, Gigabit
@@ -35,6 +39,7 @@
config TARGET_MINIARM_RK3288
bool "miniarm-RK3288"
+ select BOARD_LATE_INIT
help
Miniarm is a RK3288-based development board with 2 USB ports, HDMI,
micro-SD card, audio, Gigabit Ethernet. It also includes on-board
@@ -43,6 +48,7 @@
config TARGET_CHROMEBOOK_JERRY
bool "Google/Rockchip Veyron-Jerry Chromebook"
+ select BOARD_LATE_INIT
help
Jerry is a RK3288-based clamshell device with 2 USB 3.0 ports,
HDMI, an 11.9 inch EDP display, micro-SD card, touchpad and
@@ -51,6 +57,7 @@
config TARGET_CHROMEBIT_MICKEY
bool "Google/Rockchip Veyron-Mickey Chromebit"
+ select BOARD_LATE_INIT
help
Mickey is a small RK3288-based device with one USB 3.0 port, HDMI
and WiFi. It has a separate power port and is designed to connect
@@ -60,6 +67,7 @@
config TARGET_CHROMEBOOK_MINNIE
bool "Google/Rockchip Veyron-Minnie Chromebook"
+ select BOARD_LATE_INIT
help
Minnie is a RK3288-based convertible clamshell device with 2 USB 3.0
ports, micro HDMI, a 10.1-inch 1280x800 EDP display, micro-SD card,
@@ -70,6 +78,7 @@
config TARGET_ROCK2
bool "Radxa Rock 2"
+ select BOARD_LATE_INIT
help
Rock 2 is a SOM and base-board combination based on RK3288. It
includes Ethernet, HDMI, 3 USB, micro-SD, audio, SATA, WiFi and