bueno, para debian ya salió el parche del kernel, indicando los cambios que implica y algo del porque habría un impacto en el rendimiento
- -------------------------------------------------------------------------
Debian Security Advisory DSA-4078-1
[email protected]...