endchoice
+config DEFAULT_DEVICE_TREE
+ string "Default Device Tree for DT control"
+ help
+ This option specifies the default Device Tree used for DT control.
+ It can be overridden from the command line:
+ $ make DEVICE_TREE=<device-tree-name>
+
+config FDT_FIXUP_PARTITIONS
+ bool
+ depends on MTD_PARTITIONS && OF_LIBFDT
+
endmenu