The kernel can now build on iOS.