linux-pinenote/Documentation/mic/Makefile