Auf dem ARM board kann der neue Kernel jetzt mit dem U-BOOT Befehl

per TFTP geladen werden.  Anschliessend wird er in den FLASH-Speicher des Boards geschrieben.