Kernel: switch to Lean Kernel 6.5 stable