Merge reason: It has not gone upstream via the ARM tree, merge it via
              the scheduler tree.
Signed-off-by: Ingo Molnar <mingo@elte.hu>