config-rc-for-desktop: Upgrade kernel 3.8.0-rc7 to 3.9.0-rc1