[coreboot] Beginners questions