With this CL, Spec2k built by the Sz ARM32 backend runs and verifies
successfully.

BUG= https://code.google.com/p/nativeclient/issues/detail?id=4076
R=stichnot@chromium.org

Review URL: https://codereview.chromium.org/1407063002 .