CONFIG_NDS32=y
CONFIG_EARLY_PRINTK=y