Greetings all,

The maintenance for ci.trustedfirmware.org has been completed and the Jenkins server is back online with a newer version.  Jobs in the queue are once again being processed.