Fude Kernel sources for Samsung Galaxy S3 Mini (GT-8190)