[coreboot-gerrit] [XS] Change in coreboot[main]: mb/google/fatcat: config GPP_F23 as ISH gpio pin