The kernel-ark os-build branch has been rebased.