bug fix

Tobias Müllerrequested to merge
kernel_fix into main

Created by: dominikkiese

Merge request reports