dmesg says CPU has Pentium F0 0F bug..../proc/cpuinfo says it hasnt

Hi,

dmesg indicates my CPU has the Pentium F0 0F bug...

Initializing CPU#0
CPU 0 irqstacks, hard=c041e000 soft=c041f000
PID hash table entries: 1024 (order: 10, 16384 bytes)
Detected 232.300 MHz processor.
Using tsc for high-res timesource
Console: colour dummy device 80x25
Dentry cache hash table entries: 32768 (order: 5, 131072 bytes)
Inode-cache hash table entries: 16384 (order: 4, 65536 bytes)

Checking if this processor honours the WP bit even in supervisor mode... Ok.

Security Framework v1.0.0 initialized
SELinux:  Disabled at boot.
Capability LSM initialized
Mount-cache hash table entries: 512

*Intel Pentium with F0 0F bug - workaround enabled.*

CPU: Intel Pentium MMX stepping 03
Checking 'hlt' instruction... OK.


But looking at /proc/cpuinfo indicates the opposite:

processor       : 0
vendor_id       : GenuineIntel
cpu family      : 5
model           : 4
model name      : Pentium MMX
stepping        : 3
cpu MHz         : 232.300
fdiv_bug        : no
hlt_bug         : no
*f00f_bug        : no*
coma_bug        : no
fpu             : yes
fpu_exception   : yes
cpuid level     : 1
wp              : yes
flags           : fpu vme de pse tsc msr mce cx8 mmx
bogomips        : 465.42

Any thoughts?

Cheers,

Stu.