Comment 9 for bug 348694

Actually, I was the one who cut open the box.
I also checked with the MIT folk who received the hardware from Dell.
The settings are as they came from the factory.

My current theory is that there are two defaults: "High Performance" defaults that are set at the factory before the system ships out, and "Always Works" defaults which are what you get when you choose the "Load BIOS Defaults".

I've also got a call to my Dell inside rep to see if MIT has any Configure To Order BIOS customizations going in before the systems ship out of Dell.