[coreboot-gerrit] Change in coreboot[master]: mb/google/zork: Set GPIO 86 high on boot