uboot/configs/MUSENKI_defconfig