Create linux64bitkernel