[coreboot-gerrit] Patch merged into coreboot/master: bc40933 arm64: update verstage linking