kernel/include/config/KDB_DEFAULT_ENABLE