makefile: correctly use cortex-a15 flag