Christoph Reiter c8dec678d3 u-boot-tools: Remove from the base group
As discussed on gitter, this was likely not intentional to have in there
2020-05-28 14:33:00 +02:00
..