help me catch up here...
it looks like @anon50098793 is using "operating_points" in place of the cpuidle spc driver...
@Ansuel what does
cat /sys/devices/system/cpu/cpu0/cpuidle/state1/name
cat /sys/devices/system/cpu/cpu0/cpuidle/state1/usage
show for you now? (I suspect the state1 dir will not be present).
I'm still looking at how these cpu op points are used and need to review here... please be patient.