[coreboot-gerrit] Patch merged into coreboot/master: b9b8ebc arm64: initialize GIC for each CPU