Complete RV32 support for Linux