Device tree for the International Samsung Galaxy Express LTE (GT-I8730)