Alan Cox, No. 2 in Linux world, resigns