Re: [PATCH 1/3] corstone1000: add compressed kernel support