Raspberry Pi 4 heating issues and Librelec