mvebu: Migrate CONFIG_DDR_32BIT/64BIT to Kconfig