[coreboot] simple useful utility