Documentation: Fix running_kernel head in documentation.

Fixes #6415

Signed-off-by: Michael Friedrich <michael.friedrich@netways.de>