FreeBSD-10.0-RELEASE platform added