Key Linux contributor Alan Cox steps down