The attached patch fixes a bug introduced by the earlier patch to
handle the differences between ia32 and ia64 in the definition of
MINSIGSTKSZ.