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