Did you succeed? What device did you use? It looks, based on your description, that it should be `/dev/hvc0`, but that doesn't seem to do anything.