Support x86-process-on-x64 kernel.