The path of the boards.txt file was found out to be /usr/share/arduino/hardware/arduino This might have changed from version to version.