Pipe: signal on the event channel when data is formally consumed

Although we can read from and write to available space, it's only
when we bump the pointers that we need to signal the associated
channel.

Signed-off-by: David Scott <dave.scott@citrix.com>