Arduino přichází k Raspberry Pi, Linux ARM Devices