Porting Fiasco.OC to RISC-V - Questions