[coreboot-gerrit] [S] Change in coreboot[main]: mb/google/fatcat/var/felino: Add ALC712 codec to devicetree