K 10
svn:author
V 10
nwhitehorn
K 8
svn:date
V 27
2011-05-10T14:03:05.335967Z
K 7
svn:log
V 232
Only try to set up IPIs at boot on systems that actually have more than one
CPU. This fixes a panic observed on Heathrow-based systems without
SMP-capable PICs when the kernel had both options SMP and INVARIANTS.

MFC after:	5 days

END