review.coreboot.org / coreboot / 78c622443e17a0b6d72142a9a8ed68069f22b745 / src / arch / riscv / include / bootblock_common.h