replaced mkkrnlimg with a x64 version