document existence of IPC kernel
(#590)