[PATCH 156/171] Correct SPL uses of TEN64_CONTROLLER

[Simon Glass]

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 <s...@chromium.org>
---

 board/traverse/ten64/ten64.c | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/board/traverse/ten64/ten64.c b/board/traverse/ten64/ten64.c
index 9e4c84ad2f4..5dfb7165c0e 100644
--- a/board/traverse/ten64/ten64.c
+++ b/board/traverse/ten64/ten64.c
@@ -97,7 +97,7 @@ int checkboard(void)
                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 @@ static void ten64_board_retimer_ds110df410_init(void)
        /* 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) {
-- 
2.39.1.456.gfc5497dd1b-goog