Build Openlibm with Mini-OS CFLAGS

In particular, use -mno-red-zone on x86_64.