[coreboot-gerrit] Patch set updated for coreboot: arm64: remove secmon