microblaze: Add option to pass cpu version number