Bugs en parejas (ACTUALIZADA)

Desde la vuelta de vacaciones me he encontrado con dos bugs recurrentes en mi ordenador. El primero, 

en el Firefox 15. Al cerrar algunas pestañas -no todas- recibo un mensaje de error

"TypeError: can't access dead object"

y Firefox no responde más y me obliga a matar el proceso

$ pkill firefox

y volver a cargar el navegador. Como podéis ver aquí, aquí y aquí, es un bug conocido, pero aun no resuelto definitivamente (en estos momentos).
Esto es solo una molestia, pero tengo un segundo mucho más importante. Cuando muevo gran cantidad de material multimedia (vídeos, fundamentalmente) entre los discos duros del ordenador o desde ellos a un dispositivo externo me aparece un pantallazo negro con un mensaje que empieza así

Cannot open font file TRUE

[14739.075842] BUG: unable to handle kernel NULL pointer dereference at 0000000000000028
[...] IP: [] ext4_ext_remove_space+0xa34/0xdf0
[...] Oops: 0000 [#1] SMP 
[...] CPU 2 
 

 y se prolonga muchas líneas.
La primera línea es un mensaje conocido que puede ser corregido fácilmente (véase aquí).
Sin embargo la segunda es un casi un kernel panic. Si bien es cierto que podemos recuperar la pantalla gráfica mediante Ctrl+Alt+F7, el ordenador no se puede manejar y hay que terminar con las teclas mágicas AltGr+Imp pant+R+E+I+S+U+O. Es un bug conocido (como éste, por ejemplo). Aunque las condiciones en que se me manifiesta a mi no son estrictamente iguales, espero que sea ese mismo y se haya corregido en el kernel 3.5.3. Lo comprobaré. De todas maneras he enviado un comentario a Red Hat Bugzilla.

ACTUALIZACIÓN: tras la actualización del kernel a 3.5.3 no se produce el "kernel panic" y el movimiento o eliminación de ficheros grandes se produce sin fallo.