xp1000 switch to kernel 3.9.1