K 10
svn:author
V 3
jhb
K 8
svn:date
V 27
2010-12-21T12:49:37.581332Z
K 7
svn:log
V 151
Only use the BIOS-supplied IRQ for the atkbdc device for a child atkbd
device.  Specifically, do not reuse it for a child psm device.

Tested by:	many

END