original_kernel/Documentation/cpuidle
..
driver.txt
governor.txt