7344089dc3
Result of joint effort with Ard Biesheuvel. (cherry picked from commit 2d5a799d27d36ee0477b2e05a7aa14394e3ad4fc)