Also set the right device field in the event structure when sends_core is FALSE
device
sends_core
Fixes issue #3860