rename board configs, and add to sources file the t530/w530 boards in some situations, the files weren't being downloaded