Re: [PATCH] board: gateworks: venice: rename GW7905 to GW7500