make IPC kernel an Image
(#590)