config-for-desktop: update kernel 3.9.4 to 3.9.5