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