GitLab

Merge reason: we were on -rc4, move to -rc8 before applying
              a new batch of locking infrastructure changes.
Signed-off-by: Ingo Molnar <mingo@elte.hu>