MINEFIELD: Installer now copies RaspberryPI config.txt to /boot