arm: add optional support for compressed kernels