Fix several format specifiers errors exposed by arm-none-eabi