Kernel recipe update for Samsung Galaxy Mini 2