hei guys .. i have installed the 4.0.4 zip ...and was wondering..if i want to flash air kernel ... how can i return to the stock one ? if i flash a clean 4.0.4 backup made with clockworkmod recovery will it return me to the stock kernel ? sorry for the noob question .. . thanks