Loki: tools for custom kernels and recoveries on AT&T and Verizon Samsung Galaxy S4