Mention the arduino-core package