Update ArchiKernel