[coreboot-gerrit] New patch to review for coreboot: SeaBios: rename config symbol SEABIOS_STABLE into SEABIOS_1_7