embeddedclient: Improve process_user_input API

Now it takes a buffer of bytes, instead of a file descriptor for stdin.