ts-shell: terminal - display and set the default terminal ID
For HVC terminal devices, the terminal IDs are lnxhvc`<n>`, where `<n>` is an integer in the range 0 - 7. If the trailing integer is omitted the default ID matches the next free HVC terminal device.
For HVC terminal devices, the terminal IDs are lnxhvc`<n>`, where `<n>` is an integer in the range 0 - 7. If the trailing integer is omitted the default ID matches the next free HVC terminal device.