Add __umoddi3 to libgcc.
Merge pull request #16 from skogler/64bitmod

Add __umoddi3 to libgcc.
Add support for 64bit integers to kprintf.cpp.

Supported formats: %l %lu %lx
Merge pull request #17 from skogler/64bitmod

Add support for 64bit integers to kprintf.cpp.
Merge branch 'master' into next_year_improvements