ICS kernel for Samsung Galaxy S2 I9100