replace kernel (still too large) by this one from asus tf101 (for tests
?)