Joder amigo, ya lo siento... lo del kernel en rojo es cuando instalas un kernel no stock no ???
Bueno estas cosas pasan máquina, incluso a los grandes como tu.
Esperemos que pronto te lo den arreglado y no tengas ningún problema con la garantía etc etc así que avisa cuando te lo den nuevecito ehhh
Un abrazo crack !