x86_64 This section is not available at this time. Refer to xCAT Documentation on SourceForge for information on System X servers.