### A55 max cpu frequency sets
# setenv max_freq_a55 "1908" # 1.908GHz
# setenv max_freq_a55 "2016" # 2.016GHz
setenv max_freq_a55 "1800"
setenv governor_a55 "performance"

setenv bootargs "${bootargs} max_freq_a55=${max_freq_a55}"
