Linux 4.0 pourra appliquer des correctifs kernel à chaud