[coreboot-gerrit] Change in coreboot[master]: arm64/armv8: Set ARCH_ARMV8_EXTENSION depend on ARCH_ARM64