immer mit einkompiliert wird, oder nur wenn bestimmte Konfigurationsparameter gesetzt wurden. Sollte ersteres der Fall sein, dann waere das schon haeftig denn der U-Boot steckt wohl in der groessten Zahl an embedded Devices, sollten sie mit Linux laufen, drin.
Mir sind zumindest nur sehr wenige untergekommen, welche den Kernel auf einer andere Weise ohne Hilfe des U-Boot laden.