jock2 did some experiemts with undervolting ... not sure how far he came
Not really far, hadn't the chance to do some extensive testing, I just shelved 0.100 volts to each operating point on a single "hot" board and stability didn't suffer. During kodi idle period, the chip of the hot board was reporting 89°C, and it was already in thermal throttling. After downvolting, kodi idled at 81°C.
Despite the reported temperatures, the heatspreader over the chip was just mildly hot.