oldland: use libgcc division routines for divsi3 and friends.

There is no hardware divide instruction, use libgcc C versions for now.