tuna: LeanKernel inline

Change-Id: Icb54b7be70ae838088d3fe4d84ce3d32ac58ec43
Signed-off-by: Gergely Szell (sethyx) <szell@hu.ibm.com>