Add clrex instruction to ARMv7 bootstrap code
Add support for %c to debug_printf
Correctly write TTBR1 register during ARMv7 bootstrap