[coreboot] Patch merged into coreboot/master: 9a4c2b9 Add Nuvoton W83793 hardware monitor driver