kernel: fix handling of CONFIG_DYNAMIC_DEBUG