Added Jenkins job config for portmidi on ARM