Padfone2 kernel source (ICS & Jellybean)