[coreboot-gerrit] Patch merged into coreboot/master: 93eea88 arm64: Provide secmon trampoline for restart