Makefile: ARM kernel support from sonic-linux-kernel#3556

lguohan merged 2 commits intosonic-net:mastersonic-net/sonic-buildimage:masterfrom

antony-rheneus:sonic-linux-arm-supportantony-rheneus/sonic-buildimage:sonic-linux-arm-supportCopy head branch name to clipboard