config-for-desktop: update kernel 3.9.7 to 3.10.0