raspberry pi: Clean up /boot generation. Add option for configuring /boot/config.txt