-- reworking kernel update function
-- adjusting kernel to i) have new send semantics and ii) incorporate :action into message broadcasts