Read build.extra_flags from boards.txt
Read build.arch from boards.txt and define it as shown here: https://github.com/arduino/Arduino/wiki/Arduino-IDE-1.5---3rd-party-Hardware-specification#recipes-to-compile-source-code