Rename and update kernel configuration file

If a .config file is present, the kernel make system will deny
an out-of-tree build, so the the file is renamed to pandadcs.config.

In addition, there is a small update for the file.