microblaze: Make write_carryi input a boolean