Stock (but maybe modified) Samsung Express LTE (i8730) kernel source code