stock kernel i9500