[coreboot] Question about PR