Fix menu building so micro doesn't crash at start.  Add third-party printf functions (printing to serial so we can monitor it).