added x86_64 to libKernel.a