[coreboot-gerrit] Patch merged into coreboot/master: 745a75f arm64: Add support for using ARM Trusted Firmware as secure monitor