Editing config.txt on a non-Rasberry Pi system