Re: A question about decompressing kernel on boot