K 10 svn:author V 5 joerg K 8 svn:date V 27 1996-11-07T08:52:16.000000Z K 7 svn:log V 110 Merge the fix from rev 1.65: make the "piix" device known (and hidden), so it cannot accidentally be removed. END