LeanKernel 5.5

Change-Id: I1e941e2af43d7f63dd7ab8705778b81ed03ab19d
Merge "LeanKernel 5.5" into jb42