Stock kernel of the TF700T from Asus