[coreboot] Noob-questions