Android ICS kernel for Hyundai T7s - WORK IN PROGRESS, does not boot