[coreboot] Newbie questions