Merge branch 'SerialMux' of github.com:simh/simh into SerialMux