Currently (as of Linux v3.11) all the CRIU-related kernel patches are in the vanilla upstream kernel. That means there is no need for a custom kernel anymore. In other words, skip this page.
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