Correct SPL uses of TEN64_CONTROLLER
This converts 2 usages of this option to the non-SPL form, since there is
no SPL_TEN64_CONTROLLER defined in Kconfig
Signed-off-by: Simon Glass <sjg@chromium.org>
diff --git a/board/traverse/ten64/ten64.c b/board/traverse/ten64/ten64.c
index 9e4c84a..5dfb716 100644
--- a/board/traverse/ten64/ten64.c
+++ b/board/traverse/ten64/ten64.c
@@ -97,7 +97,7 @@
printf("Unknown boot source %d\n", src);
puts("Controller: ");
- if (CONFIG_IS_ENABLED(TEN64_CONTROLLER)) {
+ if (IS_ENABLED(CONFIG_TEN64_CONTROLLER)) {
/* Driver not compatible with alpha/beta board MCU firmware */
if (board_rev <= TEN64_BOARD_REV_C) {
if (ten64_read_board_info(&boardinfo)) {
@@ -375,7 +375,7 @@
/* Retimer power cycle not implemented on early board
* revisions/controller firmwares
*/
- if (CONFIG_IS_ENABLED(TEN64_CONTROLLER) &&
+ if (IS_ENABLED(CONFIG_TEN64_CONTROLLER) &&
board_rev >= TEN64_BOARD_REV_C) {
ret = board_cycle_retimer(&retim_dev);
if (ret) {