Added option to generate default kernel configuration
Added option to generate default kernel configuration

Added -g / --default-config option to generate default kernel configuration instead of using that of the running kernel.

cybercircuits/rpi-source,lifanxi/rpi-source,notro/rpi-source