enable kernel options for criu