K 10
svn:author
V 4
manu
K 8
svn:date
V 27
2018-05-17T19:10:13.365443Z
K 7
svn:log
V 243
release: rpi3: Copy the special rpi3 config.txt

RPI* 32bits and RPI* 64bits have a different config.txt
Copy to correct config.txt to the fat partition of the release image.
Also copy pwm.dtbo as some people want to use it.

Reviewed by:	gjb

END