add config files to build a debug kernel