ARM: support XZ compressed kernels