Linux 3.0.72
Add __aeabi_uldivmod 64-bits divider function for ARM platform

See https://codereview.chromium.org/5302007/
defconfig: Enable ARM_64BIT_DIVIDER