kernel message handling infrastructure