tf700t oc kernel