microblaze: fix typos in comments