config-for-desktop: Upgrade kernel 3.8.7 to 3.8.8.