gemini: switch to kernel 3.10