make: Entering directory `/var/tmp/kernel-orig'
  HOSTCC  scripts/basic/fixdep
  HOSTCC  scripts/basic/docproc
  HOSTCC  scripts/kconfig/conf.o
  HOSTCC  scripts/kconfig/kxgettext.o
  SHIPPED scripts/kconfig/zconf.tab.c
  SHIPPED scripts/kconfig/lex.zconf.c
  SHIPPED scripts/kconfig/zconf.hash.c
  HOSTCC  scripts/kconfig/zconf.tab.o
  HOSTLD  scripts/kconfig/conf
arch/arm/configs/badge4_defconfig:11:warning: trying to assign nonexistent symbol GENERIC_IOMAP
arch/arm/configs/badge4_defconfig:17:warning: trying to assign nonexistent symbol CLEAN_COMPILE
arch/arm/configs/badge4_defconfig:32:warning: trying to assign nonexistent symbol KOBJECT_UEVENT
arch/arm/configs/badge4_defconfig:45:warning: trying to assign nonexistent symbol CC_ALIGN_FUNCTIONS
arch/arm/configs/badge4_defconfig:46:warning: trying to assign nonexistent symbol CC_ALIGN_LABELS
arch/arm/configs/badge4_defconfig:47:warning: trying to assign nonexistent symbol CC_ALIGN_LOOPS
arch/arm/configs/badge4_defconfig:48:warning: trying to assign nonexistent symbol CC_ALIGN_JUMPS
arch/arm/configs/badge4_defconfig:57:warning: trying to assign nonexistent symbol OBSOLETE_MODPARM
arch/arm/configs/badge4_defconfig:67:warning: trying to assign nonexistent symbol ARCH_CO285
arch/arm/configs/badge4_defconfig:71:warning: trying to assign nonexistent symbol ARCH_IOP3XX
arch/arm/configs/badge4_defconfig:269:warning: trying to assign nonexistent symbol MTD_BLKMTD
arch/arm/configs/badge4_defconfig:290:warning: trying to assign nonexistent symbol PARPORT_ARC
arch/arm/configs/badge4_defconfig:346:warning: trying to assign nonexistent symbol IDE_CHIPSETS
arch/arm/configs/badge4_defconfig:348:warning: trying to assign nonexistent symbol IDEDMA_AUTO
arch/arm/configs/badge4_defconfig:389:warning: trying to assign nonexistent symbol SCSI_SATA
arch/arm/configs/badge4_defconfig:401:warning: trying to assign nonexistent symbol SCSI_PSI240I
arch/arm/configs/badge4_defconfig:449:warning: trying to assign nonexistent symbol IP_TCPDIAG
arch/arm/configs/badge4_defconfig:450:warning: trying to assign nonexistent symbol IP_TCPDIAG_IPV6
arch/arm/configs/badge4_defconfig:467:warning: trying to assign nonexistent symbol NET_DIVERT
arch/arm/configs/badge4_defconfig:516:warning: trying to assign nonexistent symbol IRPORT_SIR
arch/arm/configs/badge4_defconfig:585:warning: trying to assign nonexistent symbol NET_RADIO
arch/arm/configs/badge4_defconfig:598:warning: trying to assign nonexistent symbol NET_WIRELESS
arch/arm/configs/badge4_defconfig:607:warning: trying to assign nonexistent symbol SHAPER
arch/arm/configs/badge4_defconfig:649:warning: trying to assign nonexistent symbol TIPAR
arch/arm/configs/badge4_defconfig:719:warning: trying to assign nonexistent symbol I2C_SENSOR
arch/arm/configs/badge4_defconfig:752:warning: trying to assign nonexistent symbol SENSORS_DS1337
arch/arm/configs/badge4_defconfig:756:warning: trying to assign nonexistent symbol SENSORS_RTC8564
arch/arm/configs/badge4_defconfig:806:warning: trying to assign nonexistent symbol DVB
arch/arm/configs/badge4_defconfig:827:warning: trying to assign nonexistent symbol SOUND_BT878
arch/arm/configs/badge4_defconfig:828:warning: trying to assign nonexistent symbol SOUND_FUSION
arch/arm/configs/badge4_defconfig:829:warning: trying to assign nonexistent symbol SOUND_CS4281
arch/arm/configs/badge4_defconfig:830:warning: trying to assign nonexistent symbol SOUND_SONICVIBES
arch/arm/configs/badge4_defconfig:831:warning: trying to assign nonexistent symbol SOUND_TRIDENT
arch/arm/configs/badge4_defconfig:835:warning: trying to assign nonexistent symbol SOUND_TVMIXER
arch/arm/configs/badge4_defconfig:836:warning: trying to assign nonexistent symbol SOUND_AD1980
arch/arm/configs/badge4_defconfig:850:warning: trying to assign nonexistent symbol USB_BANDWIDTH
arch/arm/configs/badge4_defconfig:863:warning: trying to assign nonexistent symbol USB_AUDIO
arch/arm/configs/badge4_defconfig:868:warning: trying to assign nonexistent symbol USB_MIDI
arch/arm/configs/badge4_defconfig:930:warning: trying to assign nonexistent symbol USB_GENESYS
arch/arm/configs/badge4_defconfig:931:warning: trying to assign nonexistent symbol USB_NET1080
arch/arm/configs/badge4_defconfig:932:warning: trying to assign nonexistent symbol USB_PL2301
arch/arm/configs/badge4_defconfig:940:warning: trying to assign nonexistent symbol USB_ZAURUS
arch/arm/configs/badge4_defconfig:941:warning: trying to assign nonexistent symbol USB_CDCETHER
arch/arm/configs/badge4_defconfig:959:warning: trying to assign nonexistent symbol USB_SERIAL_AIRPRIME
arch/arm/configs/badge4_defconfig:1077:warning: trying to assign nonexistent symbol DEVFS_FS
arch/arm/configs/badge4_defconfig:1078:warning: trying to assign nonexistent symbol DEVFS_MOUNT
arch/arm/configs/badge4_defconfig:1079:warning: trying to assign nonexistent symbol DEVFS_DEBUG
arch/arm/configs/badge4_defconfig:1080:warning: trying to assign nonexistent symbol DEVPTS_FS_XATTR
arch/arm/configs/badge4_defconfig:1082:warning: trying to assign nonexistent symbol TMPFS_XATTR
arch/arm/configs/badge4_defconfig:1084:warning: trying to assign nonexistent symbol RAMFS
arch/arm/configs/badge4_defconfig:1096:warning: trying to assign nonexistent symbol JFFS_FS
arch/arm/configs/badge4_defconfig:1099:warning: trying to assign nonexistent symbol JFFS2_FS_NAND
arch/arm/configs/badge4_defconfig:1100:warning: trying to assign nonexistent symbol JFFS2_FS_NOR_ECC
arch/arm/configs/badge4_defconfig:1118:warning: trying to assign nonexistent symbol NFS_DIRECTIO
#
# configuration written to .config
#
make: Leaving directory `/var/tmp/kernel-orig'