Kernel configuration for a linux-3.10.15 kernel