Danke fürs Testen!RK tut bei mir (Revision 14434).
Und so viel zum Thema "kaputt" und "unüberlegter Commit" (den man nicht mal benennen kann, aber "unüberlegt" ist er schon)
"replace kernel" aktiviert? Das wurde vor einiges Zeit durch einen unüberlegetn Commit kaputt gemacht.