So we need some kind of bios patch?
Any info how to insert that X58 string into AMI bios?