linux/Documentation/features/core/generic-idle-thread/