RE: [PATCH] riscv: Add do_irqinfo() for CONFIG_CMD_IRQ