For x86_64, add multilib support for -m[no-]red-zone, for kernels which
link against libgcc