ArduinoOS

It can't find this files because ARM-Processors don't support AVR assembler. True, you can try to compile for different arduinos to check if it is even compiling, but just because it compiles does not mean it will work.