Updating kernel configs for 4.0-rc7