Makefile: clean bl31_*.bin