> System timer could have gotten messed up by the video BIOS. > What timer is your system using? > > sysctl kern.cputimer i8254_timer2