Fixing name of the module for that as5712-config jobs
Fixing name of the module for that as5712-config jobs

Change-Id: I316a93e22b9d8ba43e32b3ba63c0f5e6dfb88e48
Signed-off-by: Diego Dompe <362eb8c2bff4070585be20c53c8ef543d5e46a6b@hp.com>

open-switch/infra_project-config,open-switch/infra_project-config