review.coreboot.org / coreboot / 899d13d0dff9e7495eb17950f19431e9bd344b2f / src / lib / cbmem_stage_cache.c