I have Debian 2.0 and Intel Pentium 100 and notice the following message when booting Debian: Intel Pentium with F0 0F bug - workaround enabled Does it means that I have a buggy chip? How to verify that and find more info?