70fb0f0832178823378137a0f405ed20e0ae3f9d  kernel.txt