[coreboot] [GSoC] Good RISC-V support — Questions