Looks like you were lucky-- most chipsets have many duplicate power
pins-- your broken pin is likely one of those. It should work fine as
there's likely at least five other similar pins.