Re: [coreboot] How do I configure coreboot at runtime?