Bug 1011474 - Work around a codegen bug on ARM; r=sfink