Arm64 not reporting kernel build number

Wed Jan 31 15:59:12 UTC 2018

Just noticed that on a Pi 3 uname -a reports

FreeBSD www.zefox.org 12.0-CURRENT FreeBSD 12.0-CURRENT # r328519: Sun Jan 28 22:03:57 PST 2018     bob at www.zefox.org:/usr/obj/usr/src/arm64.aarch64/sys/GENERIC  arm64

There used to be an integer following the # mark, should be about
3 in this case. Is the change intentional?

On a Pi 2 the build sequence number is as usual.

bob prohaska