Support red zone on x86-64