[ARMLLB]: Make DbgPrint compatible so we can use debug.h.