Re: enable kernel options for criu