diese Geräte sind als BROKEN deklariert, du solltest diese nicht für unbedarfte zur Verfügung stellen, da sie regelmäßig neustarten wegen zu wenig Arbeitsspeicher.
Die Ursache für dein Problem kann sein, dass der Aufruf von make manifest nicht die selben Parameter nutzte wie der Build…