> * For NAND support it is important to enable *CONFIG_BUS_OMAP_GPMC* If this is something that is mandatory for the board, maybe the board should then select it in the Kconfig?