Use "x86_64-unknown-freebsd" tripple for PS4.