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