Thanks for the clarification! Till today I didn't know you can build a 64-bit RISC-V CPU with LiteX. Cool!
The only problem (for me) is the availability of suitable hardware to implement it :) The only FPGA board I got is GateMate EVB-A1.