aarch32 support#78

TImada wants to merge 2 commits intomirage:4.14mirage/ocaml-solo5:4.14from

TImada:aarch32-portingTImada/ocaml-solo5:aarch32-portingCopy head branch name to clipboard