K 10
svn:author
V 3
imp
K 8
svn:date
V 27
2019-07-10T17:21:59.166951Z
K 7
svn:log
V 155
Fix compile errors with the CI20

Fix mutex includes and fix a typo. The CI20 kernel is not built as
part of universe.

PR: 239115
Submitted by: Kai Nacke

END