This kernel rkr4.1 does not complain about finding a compatible mali-simple-power mode:
[ 3.566202] mali fb000000.gpu: Couldn't find power_model DT node matching 'arm,mali-simple-power-model'
[ 3.566219] mali fb000000.gpu: Error -22, no DT entry: mali-simple-power-model.static-coefficient = 1*[0]
[ 3.566408] mali fb000000.gpu: Error -22, no DT entry: mali-simple-power-model.dynamic-coefficient = 1*[0]
[ 3.566597] mali fb000000.gpu: Error -22, no DT entry: mali-simple-power-model.ts = 4*[0]
[ 3.566797] mali fb000000.gpu: Error -22, no DT entry: mali-simple-power-model.thermal-zone = ''
[ 3.569657] mali fb000000.gpu: Using configured power model mali-lodx-power-model, and fallback mali-simple-power-model