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.
improved debug output for invalid fd case in Loader