Port it to 64-bit, obviously; the NT kernel has already been ported to a few non-x86 architectures.