CONFIG_TARGET_ipq806x=y
CONFIG_TARGET_ipq806x_DEVICE_TEW827DRU=y
CONFIG_TARGET_BOARD="ipq806x"
CONFIG_ALL_KMODS=y
CONFIG_KERNEL_BUILD_DOMAIN="localhost"
CONFIG_KERNEL_BUILD_USER="builder"
# CONFIG_KMOD_BATMAN_ADV_DEBUGFS is not set