PDP11,PDP18B: Add device buffer flush capability and keep track of data written state in the device buffer.  These are cousin bugs described in issue #87