[coreboot] noob question