Disponible Linux 4.0 para Raspberry Pi

Aunque esta versión del kernel de Linux fue liberada en abril, no ha llegado a la Raspberry Pi hasta ahora (ver noticia en el foro de Raspberry Pi), y eso que se anuncia ya la versión 4.1. Noticia en español y en inglés.

Para instalar esta actualización que no es obligatoria os recomiendo seguir los pasos que indiqué en este post:

Actualizar kernel Linux 4.0 en Raspberry Pi

siendo imprescindibles el paso de : sudo rpi-update