Nope, no special bios settings. We only use Dell-servers and I only see this issue on Dell PowerEdge R310 servers with X3450 CPU, not on any other Dell server (R610, R710, R320 and R420 tested). Don't know for sure if others CPU's are also affected, since I only have R310's with X3450's. But...