linux-3.9: upgrade to 3.9.10 (EOL)
nvidia binary driver: patch for linux 3.10