Read What’s wrong with Raspberry Pi. Learned that on Raspberry Pi firstly proprietary realtime OS ThreadX loads on GPU (!) which then loads Linux on CPU. And Linux is the second class citizen on the platform. Throttling, power management is controlled by ThreadX, not Linux. That was eyeopener. Also eyeopener is fact that ThreadX belongs to Microsoft now according to Wikipedia.