Re: [coreboot] Patch set updated for coreboot: 42acf3c mainboard: complete the sb800 devicetree even device is off