[coreboot-gerrit] Patch set updated for coreboot: 7a13ba3 arm: guard verstage rules