timecounter: Update FreeBSD identifiers

Update #3175.

cpukit/score/include/sys/timeffc.h

@@ -26,7 +26,7 @@
  * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
  * SUCH DAMAGE.
  *
- * $FreeBSD r277406 2015-01-20T03:54:30Z$
+ * $FreeBSD: head/sys/sys/timeffc.h 228856 2011-12-24 01:32:01Z lstewart $
  */
 
 #ifndef _SYS_TIMEFF_H_

cpukit/score/include/sys/timepps.h

@@ -12,7 +12,7 @@
  * Portions of this software were developed by Julien Ridoux at the University
  * of Melbourne under sponsorship from the FreeBSD Foundation.
  *
- * $FreeBSD r277406 2015-01-20T03:54:30Z$
+ * $FreeBSD: head/sys/sys/timepps.h 282424 2015-05-04 17:59:39Z ian $
  *
  * The is a FreeBSD version of the RFC 2783 API for Pulse Per Second 
  * timing interfaces.  

cpukit/score/include/sys/timetc.h

@@ -6,7 +6,7 @@
  * this stuff is worth it, you can buy me a beer in return.   Poul-Henning Kamp
  * ----------------------------------------------------------------------------
  *
- * $FreeBSD r277406 2015-01-20T03:54:30Z$
+ * $FreeBSD: head/sys/sys/timetc.h 304285 2016-08-17 09:52:09Z kib $
  */
 
 #ifndef _SYS_TIMETC_H_

cpukit/score/include/sys/timex.h

@@ -18,7 +18,7 @@
  *								       *
  ***********************************************************************
  *
- * $FreeBSD r277406 2015-01-20T03:54:30Z$
+ * $FreeBSD: head/sys/sys/timex.h 298981 2016-05-03 15:14:17Z pfg $
  *
  * This header file defines the Network Time Protocol (NTP) interfaces
  * for user and daemon application programs.

cpukit/score/src/kern_tc.c

@@ -44,7 +44,7 @@
 #include <rtems/score/watchdogimpl.h>
 #endif /* __rtems__ */
 #include <sys/cdefs.h>
-__FBSDID("$FreeBSD r284178 2015-06-09T11:49:56Z$");
+__FBSDID("$FreeBSD: head/sys/kern/kern_tc.c 324528 2017-10-11 11:03:11Z kib $");
 
 #include "opt_compat.h"
 #include "opt_ntp.h"