Re: [kernel] Disable debugging options.