Submitted by Edward Wulff: copy 64-bit kernel for pmagic