leanKernel v5.3.4

Change-Id: I7bb0c62f7acb6f40e261633b4fc92a61a27fb5a9