K 10
svn:author
V 7
iwasaki
K 8
svn:date
V 27
2002-11-10T19:02:19.000000Z
K 7
svn:log
V 165
MFC: 1.549
Add a new loader tunable, hw.hasbrokenint12, to indicate that BIOS
has broken int 12H.
This should fix kernel panic problem caused by 1.385.2.26 changes.

END