The pretty names specified in the YAML files of each board are not unique. Signed-off-by: Wojciech Sipak <wsipak@antmicro.com>