Build Openlibm with Mini-OS CFLAGS

In particular, use -mno-red-zone on x86_64.

This uses an updated Openlibm that doesn't use `sys/types.h`, since that isn't provided by Mini-OS.