Also, wir hatten ja eine .config benutzt, von der ich dachte, dass sie zum momentan laufenden Kernel gehört. Dann hätte der neue Kernel aber nach meiner Logik genauso booten müssen, wie der alte.
Normalerweise wird die .config auch unter /lib/modules/`uname -r`/build gespeichert. Aber da war...