config-for-desktop: Upgrade kernel 3.7.4 to 3.8.0.