Kconfig value is hex, not int.

[coreboot.git] / src / mainboard / nokia / ip530 / Kconfig

diff --git a/src/mainboard/nokia/ip530/Kconfig b/src/mainboard/nokia/ip530/Kconfig
index ff485cc03f3f50009df9f6f7e1ecc2c89a68fb01..b43905f3223e8bf82a5ed00e7607e6a114e80b98 100644 (file)
--- a/src/mainboard/nokia/ip530/Kconfig
+++ b/src/mainboard/nokia/ip530/Kconfig
@@ -54,7 +54,7 @@ config IRQ_SLOT_COUNT
 
 ## Configuration items for the ethernet adaptors
 config DEC21143_CACHE_LINE_SIZE
-       int
+       hex
        default 0x00000000
        depends on BOARD_NOKIA_IP530