add working vdso clock_gettime support, including static linking
[musl] / crt / microblaze / crti.s
2012-09-29 Rich Felkermicroblaze port