Kernel: switch to LeanKernel v1.6.1