Thanks, @ShaneCCC. I have a related thread here: Setting NVHS_PLL clock frequency, where I am also working this problem.