Keeping it x86_64 for now makes sense in many respects.
But it could become a real uKernel OS in the long run.