[xp1000] switch to kernel 3.12.1