> :The problem is that the BIOS might mess with the timer directly like my > :notebook does. We can't detect changes from System Management Mode. > > Ugh. You're right. SMM bypasses everything. Somebody needs to shoot > Intel. Apart from the shooting bit, is there something I could do to debug the situation? -Atte