leanKernel v1.5.4

Also change to lzma compression