target-arm: debug printfs