Remove unused DisableRedZone option.

Patch by Steve King.