new file:   kernel/711ideb_defconfig