T155: libbarrelfish: update copyright notice for event_queue.{c,h}