arm: Set default MACH_TYPE in Kconfig

For boards which requires correct MACH_TYPE, set their correct default
values directly in Kconfig.

Signed-off-by: Pali Rohár <pali@kernel.org>

diff --git a/arch/arm/Kconfig b/arch/arm/Kconfig
index 949ebb4..0b72e4f 100644 (file)
--- a/arch/arm/Kconfig
+++ b/arch/arm/Kconfig
@@ -2126,6 +2126,7 @@ config SERIAL_TAG
 
 config STATIC_MACH_TYPE
        bool "Statically define the Machine ID number"
+       default y if TARGET_DS109 || TARGET_NOKIA_RX51 || TARGET_DS414 || DEFAULT_DEVICE_TREE = "sun7i-a20-icnova-swac"
        help
          When booting via ATAGs, enable this option if we know the correct
          machine ID number to use at compile time.  Some systems will be
@@ -2134,6 +2135,10 @@ config STATIC_MACH_TYPE
 config MACH_TYPE
        int "Machine ID number"
        depends on STATIC_MACH_TYPE
+       default 527 if TARGET_DS109
+       default 1955 if TARGET_NOKIA_RX51
+       default 3036 if TARGET_DS414
+       default 4283 if DEFAULT_DEVICE_TREE = "sun7i-a20-icnova-swac"
        help
          When booting via ATAGs, the machine type must be passed as a number.
          For the full list see https://www.arm.linux.org.uk/developer/machines