try installing kernel headers as IKCONFIG_PROC (aka /proc/config.gz) is not enabled