K 10
svn:author
V 10
nwhitehorn
K 8
svn:date
V 27
2016-08-16T00:40:38.164657Z
K 7
svn:log
V 67
Fix yet another place in the kernel that assumes the BSP is CPU 0.

END