El kernel se actualizó a la versión 4.13.