K 10
svn:author
V 6
andrew
K 8
svn:date
V 27
2016-05-31T18:45:52.745698Z
K 7
svn:log
V 286
Allow the kernel to boot on a CPU where the devicetree has numbered it with
a non-zero ID. To do this we increment the cpuid of any CPUs with a smaller
devicetree ID by one to stop them conflicting with the boot CPU.

Obtained from:	ABT Systems Ltd
Sponsored by:	The FreeBSD Foundation

END