merge a few fixes by sh4rm4
[musl] / src / setjmp / microblaze /
2012-09-29 Rich Felkermicroblaze port