Created by: shiptux
Fixes a compilation issue in the RISCV64 build, required due to recent changes. Since we do not have a regular CI workflow for RISCV64 yet, this was not detected during other changes.
Fixes: #5781 (closed)
Signed-off-by: Stanislaw Kardach kda@semihalf.com