ipc, kernel: use Linux headers