Build Openlibm with Mini-OS CFLAGS

In particular, use -mno-red-zone on x86_64.

I haven't noticed any specific problems, but this is probably a good idea...