I think no, because my ROM is based on 5.1.1_r4 and got this issue.
I made severals attempts, if i reboot when CPU is hot, core 2 stucks at max freq.
I have disabled custom hotplug and issue is gone.
I made severals attempts, if i reboot when CPU is hot, core 2 stucks at max freq.
I have disabled custom hotplug and issue is gone.