Provide a command-line mechanism to choose the platform type for x86_64.