add LINUX_DEFCONFIG defaults