Convert to use NuttX style debug output