system_processor is amd64 on freebsd