Since he doesn't say he's having any problems, and he didn't mention any desired processor upgrades, IMO it's pretty stupid to tinker with the BIOS! There really isn't anything to be gained, and you can only cause yourself grief. This seems like a no-brainer to me.
