My Orange Pi PC2 work fine with Stretch (mainline, 4.14.48) between 35 and 65 °C. I got only a minor (but annoying) problem: the board start overheating after a shutdown (sudo shutdown -h now) and reach >70 °C after few minutes. Is it a kernel problem? Or a hardware design fault?