Swap the CMOS battery in this case and the error disappears.
I'm not entirely clear on why a bad CMOS battery skews the clocks but we've found the root cause and learnt how to debug freebsd kernel boot.