[coreboot] Patch merged into coreboot/master: 9cbd77b Supermicro X7DB8: add w83793 Hardware monitor