Fix dome compiling errors for smdk6400_config