[munk-a]

Yea - a preboot setting actually seems like a pretty rational way to allow this fix. I don't think it's easy to get ignorant users to mess around with bios or other system level settings.