Currently (as of Linux v3.11) all the CRIU-related kernel patches are in vanilla kernel. That means there is no need for a custom kernel anymore.
In the future, CRIU team might start working on some new kernel stuff for CRIU again. In that case any new patches will first be available from the staging repository at
Also, a Raspberry Pi specific kernel is available at