henry@henry-virtual-machine:~/Kernel$ ARCH=arm CROSS_COMPILE=~/arm-eabi-4.6/bin/arm-eabi- make _exynos5433-trelte_defconfig
  HOSTCC  scripts/basic/fixdep
  HOSTCC  scripts/kconfig/conf.o
  SHIPPED scripts/kconfig/zconf.tab.c
  SHIPPED scripts/kconfig/zconf.lex.c
  SHIPPED scripts/kconfig/zconf.hash.c
  HOSTCC  scripts/kconfig/zconf.tab.o
  HOSTLD  scripts/kconfig/conf
arch/arm/Kconfig:924: can't open file "arch/arm/mach-mvebu/Kconfig"
make[1]: *** [_exynos5433-trelte_defconfig] Error 1
make: *** [_exynos5433-trelte_defconfig] Error 2