[sr-dev] git:5.3:ef7ad516: Makefile.defs: version set to 5.3.2