Re: kernel debuginfo size