Fix up Raspberry Pi config.txt handling