mali/Kbuild: fix the arch link