[coreboot] Patch merged into coreboot/master: 42acf3c mainboard: complete the sb800 devicetree even device is off