microblaze: Correct ec mask in debug print