> I'm OK with that. > > Do you need any more info on the specifics of the machine I'm using? > > (Note: I'm not currently aware of any BIOS updates for it. If this is ultimately a BIOS problem I wouldn't know what sort of report to file, or how to file it anyway...) > > Thanks, > James I just found out that the original bug was specific to BSW with Infineon SLB9655 chip. Unless you have this specific chip you can just give Tested-by (and Reviewed-by). /Jarkko