Workaround for x86_64 target for red zone

rumprun-x86_64-workaround.patch

diff --git a/build-rr.sh b/build-rr.sh
index 8b5bdf4..3be2a0b 100755
--- a/build-rr.sh
+++ b/build-rr.sh
@@ -217,6 +217,8 @@ EOF
        # -mno-red-zone.
        if [ "${PLATFORM}" = "xen" -a "${MACHINE_ARCH}" = "x86_64" ]; then
                echo "CFLAGS+=-mno-red-zone" >> ${RUMPTOOLS}/mk.conf
+       elif [ "${PLATFORM}" = "hw" -a "${MACHINE_ARCH}" = "x86_64" ]; then
+               echo "CFLAGS+=-mno-red-zone" >> ${RUMPTOOLS}/mk.conf
        fi
 
        # build rump kernel
@@ -316,6 +318,9 @@ makeconfigmk ()
        if [ "${PLATFORM}" = "xen" -a "${MACHINE_ARCH}" = "x86_64" ]; then
                echo "BUILDRUMP_TOOL_CFLAGS+=-mno-red-zone" \
                        >> $(pwd)/${RUMPTOOLS}/toolchain-conf.mk
+       elif [ "${PLATFORM}" = "hw" -a "${MACHINE_ARCH}" = "x86_64" ]; then
+               echo "BUILDRUMP_TOOL_CFLAGS+=-mno-red-zone" \
+                       >> $(pwd)/${RUMPTOOLS}/toolchain-conf.mk
        fi
 }