[coreboot] Re: Managing device settings after flashing coreboot