config-for-desktop: Upgrade kernel 3.7.1 to 3.7.2.