Update to smaller kernel with xz compression

Change-Id: I68212412e49ac9173555def7e39247d78007bbe5