Example program not working on RV32 system

[T-K-233]

Architecture

ARCH = rv32imaczicsr
ABI = ilp32
CODEMODEL = medany

Error

Running example program on a RISC-V 32 bit system. On UART it prints out

Hello world from hart -2147472611: 0
Hello world from hart -2147472611: 0
Hello world from hart -2147472611: 0
Hello world from hart -2147472611: 0
Hello world from hart -2147472611: 0
Hello world from hart -2147472611: 0
Hello world from hart -2147472611: 0
Hello world from hart -2147472611: 0

This is probably due to line

uint64_t mhartid = READ_CSR("mhartid");