[coreboot-gerrit] Patch set updated for coreboot: ad86c15 build system: rename __BOOT_BLOCK__ and __VER_STAGE__