It won't work. He doesn't have the A7V133, so no 133 bus. And I don't think his board can remap multipliers, 12.5x is likely a hard limit. Remember, this is an AMD system with a VIA chipset...AMD's multiplier locks weren't as firm as Intel's (assuming his CPU even has one).
He could probably use 12.5x112...
<font color=blue>Only a place as big as the internet could be home to a hero as big as Crashman!</font color=blue>
<font color=red>Only a place as big as the internet could be home to an ego as large as Crashman's!</font color=red>