[coreboot-gerrit] Patch merged into coreboot/master: b30c9b1 arm64: split cpu.c