[sr-dev] git:master:d4adbb31: Makefile.defs: enable SMP mode after ARM v6/ARM v7 fixes on this platform