Re: [PATCH 5/5] ARM: asm/div64.h: adjust to generic codde