A single fix for a comment that may show up in DocBook output. Signed-off-by: Ingo Molnar <mingo@kernel.org>
