Also fix the limitation of the original makefile so that it can be compiled on arm. Fixes: eac26cc (ipq807x: add Redmi/Xiaomi support")