K 10
svn:author
V 6
davide
K 8
svn:date
V 27
2012-06-17T13:48:39.600446Z
K 7
svn:log
V 285
Disable hwpmc(4) support for Intel Xeon Sandy Bridge (Model 0x2D).
Due to some differences in MSRs between Xeon Sandy Bridge and Core Sandy
Bridge (Model 0x2A), wrmsr() may generate in a GP# fault exception and so a
panic of the machine.

Approved by:		gnn (mentor)
MFC after:		3 days

END