microblaze: whitespace fix