399cc39621
The OpenSBI package was not providing any license file when a custom Linux version was selected. Fix this by adding a Kconfig option to specify the license file, with a default value set to the commonly used license paths. Signed-off-by: Kory Maincent <kory.maincent@bootlin.com> [Arnout: use a single Kconfig option with conditional prompt] Signed-off-by: Arnout Vandecappelle <arnout@rnout.be>