PPC 64

PPC64 architecture is supported by FreeVMS L4 microkernel but FreeVMS kernel does not support PPC64 yet.