[LEDE-DEV] Device profiles have broken ImageBuilder somewhat

[Daniel Dickinson]

Hi Felix,

The recent changes to the device profile stuff has caused issues with
ImageBuilder.  In ar71xx, if one selects the Default profile during the
core build, then even if you set make PROFILE=SOMEBOARD image, the
ImageBuilder tries to build the image for every device instead of just
the one you specified.  If you image is too large for some of the
devices in the set of all devices, your build will fail on that device's
image generation.

Regards,

Daniel