biosdevname in fedora 15 - why is this inconsistency?

[Petrus de Calguarium]

Adam Williamson wrote:

> That would indicate your BIOS doesn't have the necessary support; 
quite
> a few don't. There's some notes on what's needed for biosdevname to 
work
> at
> 
https://fedoraproject.org/wiki/Test_Day:2011-01-27_Network_Device_Nami
ng_With_Biosdevname#Hardware_Requirements

I ran the script, output:

Checking hardware requirements                             [  OK  ]
Checking for SMBIOS type 41 support                        [FAILED]
Checking for SMBIOS type 9 support                         [  OK  ]
Checking for PCI Interrupt Routing support                 [  OK  ]

The instructions say:

"If the output of the script is [ OK ] and any of the following checks 
is [ OK ], your hardware is supported by biosdevname".

So, what's wrong?