Bugfix from line edition on TinyJS (FIXME: Merge ChibiOS shell readline and TinyJS readline)