dbx500-cpufreq: Include db8500-prcmu.h