Apply printf bug workaround, implement more stubbed out functions

- Implement workaround for printf errors with Linux host builds. (does this break on OS X? I can't test this.)
- Implement several more functions from osfmk/arm/stubs.s