Merge Linux 3.13-rc4, to refresh this rather old tree with the latest fixes.
Signed-off-by: NIngo Molnar <mingo@kernel.org>