der platform builder erstellt zwar das NK.BIN aber leider nur komplett neue. Für den normalen Ablauf braucht man dann eine BSP Datei für die Hardware Platform... die wir leider nicht haben.
es könnte schon sein das man nur die letzten Schritte manuell ausführen kann, da hab ich noch nicht nachgeforscht.