[coreboot-gerrit] Patch set updated for coreboot: befc1ee arm: Remove CAR_MIGRATE Kconfig and associated cruft