review.coreboot.org / coreboot / 4c7eee27447e1a41808a11be8ce55031e97fdccf / src / lib / region_file.c