microblaze: do not include types.h in ptrace.h