Update linux64bitkernel