[coreboot-gerrit] Patch set updated for coreboot: be83a5b arm64: secmon: prepare for passing more state into secmon