Hi, Is there a build config file placed somewhere in the system while using kernel 4.0? It seems /proc/config.gz is missing from 4.0. Maybe a configuration option is not set to be enabled: /proc/config.gz isn't available in Debian, because the config is provided in /boot/config-*, no need for the in...