New Raspberry Pi firmware & XBMC Frodo RC3

[s2108312]

@Koenkk, could you set the core frequencies to the default values (arm_freq + core_freq),
and if the end user wants to overclock their PI, they can do it from the xbian-config ??