[sr-dev] git:master:ec89ce24: Makefile.defs: add support for ARMv7 architecture (e.g. newer Rasberry Pi 3)