microblaze: Fix bug with passing command line