iokp kernel deconfig for AT&T Galaxy S4