[rbp] Add config.txt settings to log file

On Pi there are a number of config.txt settings, such as overclock settings, forcing of HDMI modes, overriding the EDID, whether codecs are licensed and various test options that have an effect on running xbmc.

It helps when analysing a debug log file if I know about these settings, so include them in the log.