re-enable CONFIG_PROC_DEBUG