brisK - A stock based kernel for the Samsung S4 mini LTE GT-I9195