[coreboot-gerrit] Patch merged into coreboot/master: abde3b5 arm64: Add support for secure monitor