Sigo en la rama 3.11.x esperando a que GregKH pase a la rama 3.12. Como Linus sigue de viaje (esta vez a Corea), la cosa está parada. Así que toca compilar el nuevo kernel 3.11.8 mientras tanto:
$ time fakeroot make-kpkg -j4 --initrd --revision=3.11 ...