riscv green card is wrong