See http://askubuntu.com/questions/620184/recipe-for-target-vmlinux-failed
@ -41,6 +41,11 @@ CONFIG_FONT_8x16=y
CONFIG_LOGO=y
CONFIG_VFP=y
CONFIG_CGROUPS=y
CONFIG_MMC_BCM2835=y
CONFIG_MMC_BCM2835_DMA=y
CONFIG_DMADEVICES=y
CONFIG_DMA_BCM2708=y
EOF
make -j 4 -k ARCH=arm CROSS_COMPILE=${TOOLCHAIN}- menuconfig