microblaze: Clarify expected input of write_carry