use compressed kernel image instead of uncompressed