Replace microlib arithmetic

Microlib 64-bit multiply and 32/64-bit divide routines are extremely
slow, and in the case of multiply, bigger too! The 64-bit divide routine
is slow enough to cause interrupt latency problems.

Replace with local implementations extracted from the ARM Compiler 6
standard library.

Author: kjbracey