[PATCH] arm: fix Makefile for armv7 compatibility

(cherry picked from commit 71f1aa86a2f7c0945bd29ec24838da4741cc7b00)