use-kernel-config=multi_v7_defconfig config-fragment=kernel/configs/ti_multi_v7_prune.config kernel/configs/no_smp.config