Loops are supported in newer kernels as long as they have an upper bound which can be constant, or unknown but bounded value.