"replace kernel" war tatsächlich nicht aktiviert. Wenn ich es aktiviere, krieg ich aber wohl keine Konfiguration hin, die klein genug ist.
Habe daher erstmal dsld rausgeschmissen. So passt es, werde ich aber später wohl brauchen. Mal schaun, was ich da noch deaktivieren kann :)
Jedenfalls kommt...