Fix kernel name and use XZ compression

Change-Id: Ib42f786c6261a40e858d4cd2f45660ca4080321b