# CONFIG_DEBUG_KERNEL_DC is not set