Fix architecture detection when using 32bit mode on ARM64 and i486#4462

Merged

rjbou merged 4 commits intoocaml:masterfrom kit-ty-kate:emulated-arm32

Dec 4, 2020

+7-5

Commits on Dec 2, 2020

Commits on Dec 3, 2020

update changes
rjbou
authored