Linux kernel for Samsung Galaxy Mini 2 (GT-S6500)