Data.Integer.Div uses divDU that is not available on ARM

see: https://gitlab.science.ru.nl/clean-and-itasks/clean-platform/-/blob/master/src/libraries/OS-Independent/Data/Integer/Div.icl#L94

the ARM 64 architecture does not have instructions for this so the code generator doesn't support it.