ARM: asm/div64.h: adjust to generic codde