HACK: arm: add optional support for compressed kernels