ICS Kernel for TW / HK firmware