RISCV_ALTERNATIVES_BOOT
if (stage == RISCV_ALTERNATIVES_BOOT)
if (stage == RISCV_ALTERNATIVES_BOOT) {
RISCV_ALTERNATIVES_BOOT);