Update __set_cr27() to mark r31 clobbered.