[coreboot-gerrit] Patch set updated for coreboot: 3cdce96 Rambi: Set SOC_DISP_ON as GPIO to avoid LCD_VCC glitch