User-space APIs for dynamic power management in many-core ARMv8 computing nodes