Unofficial OpenELEC overclock settings for the Raspberry Pi