ARM: digicolor: add the machine directory to Makefile