I've spent the last month poking a Cyrix MediaGX based system, and 
correcting found bugs. One of the main ones was in the 
i8254_microtime() routine. I have a replacement for it that seems to 
work much better, but I have not yet committed it because there needs 
to be a more thorough review of NetBSD's kernel time keeping 
functions.

I can, however, make it available, should you wish to try it.

	Erik <fair@netbsd.org>