kernel: add DEBUG_INFO_REDUCED config option