kitkat kernel S7500