El sitio para saber el kernel es el que comentas.
Solo cuando se flashea mediante recovery, no se incluye kernel, por lo que, al tener el BL cerrado, es seguro que tienes un kernel stock.
Con BL cerrado peudes flashear meidante el flashtools cualquier kernel STOCK oficial sin riesgo alguno, de echo lo aconsejable es que siempre que puedas, tengas instalado la vesión asociada al firmware que tengas instalado.
Con este firmware, como de momento no está localizado el kernel para el 142, muchos tienen instalado el kernel del 141 (de ahí que les salte el PC Companion con nueva actualización aunque estén en ella)

Lo del LED de notificaciones... ¿no te funcionaba? cosa más rara, pensaba que solo pasaba con los Neo/Neo V