A question about decompressing kernel on boot