Update for FreeBSD 10.1 release

FreeBSD 10.1-RELEASE was just released today.

Also, using "10.1-RELEASE" instead of "10.1" to describe the release
version.