core 112.01.00 does not builde on i686
Merge pull request #2956 from janestreet/core_kernel-112.01.00-no-i686

core 112.01.00 does not builde on i686