I am using an RPi3 with Waveshare 7C display, HDMI. It has worked well for a long time. I have the config.txt. The microSD card has failed and I must build a new one. While I have a .img of the 32GB SD, I cannot burn it to another 32 GB card as the image size is a bit too much for the 32 GB cards I have on hand. So I thought to build a new system wil NOOBS. The NOOBS copy does not work this display with either HDMI option (press 1 or 2 on the keyboard.) How can I patch the NOOBS to use my working config.sys or some other solution?