Where does one find the kernel config file for the kernel that is installed by default on a Debian system? Best regards, David List