microblaze: fix custom fprintf