bug#37286: Make a faster method to list supported boards.

[Caleb Ristvedt]

> Where does guix get this list? Is it configured or automatically
> generated?

It's all the filenames suffixed with "_defconfig" in the "configs"
subdirectory of the u-boot source, minus the suffix.

- reepca