Correct SPL uses of ARMADA_8K

This converts 2 usages of this option to the non-SPL form, since there is
no SPL_ARMADA_8K defined in Kconfig

Signed-off-by: Simon Glass <sjg@chromium.org>
diff --git a/arch/arm/mach-mvebu/arm64-common.c b/arch/arm/mach-mvebu/arm64-common.c
index 5ab6925..d3a9573 100644
--- a/arch/arm/mach-mvebu/arm64-common.c
+++ b/arch/arm/mach-mvebu/arm64-common.c
@@ -49,7 +49,7 @@
 
 __weak int dram_init_banksize(void)
 {
-	if (CONFIG_IS_ENABLED(ARMADA_8K))
+	if (IS_ENABLED(CONFIG_ARMADA_8K))
 		return a8k_dram_init_banksize();
 	else if (IS_ENABLED(CONFIG_ARMADA_3700))
 		return a3700_dram_init_banksize();
@@ -61,7 +61,7 @@
 
 __weak int dram_init(void)
 {
-	if (CONFIG_IS_ENABLED(ARMADA_8K)) {
+	if (IS_ENABLED(CONFIG_ARMADA_8K)) {
 		gd->ram_size = a8k_dram_scan_ap_sz();
 		if (gd->ram_size != 0)
 			return 0;