on demand x from imoseyon/lean kernel and build fixes and defconfig updates