[PATCH 04/12] serial: arm_dcc: Use CONFIG_ARM64 not CONFIG_CPU_ARMV8