Prepare for calling domctl from the kernel