0114ba5b98
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