[coreboot-gerrit] Patch merged into coreboot/master: d84afd3 arm: Remove CAR_MIGRATE Kconfig and associated cruft