fix omission of microblaze user.h definitions
1 file changed