[coreboot-gerrit] Patch set updated for coreboot: google/gru: pass the gpio power supply enable pin to bl31