Importing stock KitKat kernel for GT-I9192 (S4 mini Dual Sim)
Downloaded from opensource.samsung.com
GT-I9192_KK_Opensource.zip
md5sum: 280deed3a714533ce9bb8264d1c72024
Add silviu_defconfig