Not sure if the license is the reason they choose FreeBSD, but they have made some contributions back to FreeBSD

A patch for AVX support was submitted from someone at Sony

http://lists.freebsd.org/pipermail/freebsd-amd64/2011-March/...