Stock kernel from the TF700T from Asus