target-microblaze: Change gen_intermediate_code_internal() argument types