This reverts commit rGfaff707db82d. A failure found on an ARM 2-stage buildbot. The investigation is needed.
abort
exit