Running
strings /boot/kernel/kernel | grep "RELEASE" shows 10.0-RELEASE-p7, yet uname -r returns 10.0-RELEASE-p4. I've upgraded using freebsd-update. What could be causing the discrepancy, and how would I ensure that I'm properly upgraded? I suppose that the kernel could be at p7 and the userland at p4, but how would that have happened using freebsd-update? Thoughts would be very welcome. Thanks.