linux: really provide /proc/config.gz

Currently there is no /proc/config.gz, even though the configuration
indicates it. This fixes it.