Using config.ini to specify name for BSP variant on install

[Joel Sherrill]

Hi

We've had a discussion over on Discord about a BSP variant for a
custom Microblaze SoC. Given that it is custom, officially adding a
variant to the RTEMS.org source is out of the question. It is possible
that the variant can be achieved with just configuration settings. The
issue is that the BSP is for the reference board they would also like
to have built and installed at the same time. If they build the kcu105
with their custom settings, it will install over the kcu105 with the
default settings which work on the reference board.

Is there a magic bit that takes care of this now? Any thoughts on
adding something to achieve this?

Thanks.

--joel