K 10
svn:author
V 6
msmith
K 8
svn:date
V 27
2001-07-27T09:01:13.000000Z
K 7
svn:log
V 162
The ACPI timer register corruption problem is resolved in the PIIX4
starting with the PIIX4M.  Restrict enabling the workaround to those
chips known to be buggy.

END