defconfig: Linux 3.4.88