Hi Arslan,
I see the setting for CPU frequency in your config file:
BIOS.cpuFreq.lo = 25000000;
How are you checking the effect of this change (that's allowing you to conclude that the clock speed is at 8192000 Hz)?
Can you try using the following API in one of your Tasks? And print out the values or look at them in the debugger?
Void BIOS_getCpuFreq(Types_FreqHz *freq);
Steve