microblaze: Sort microblaze boards in MAKEALL script